Search results for "Ore"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
148	Yong He 0003, Sixin Xu, Kejun Zhu, Ting Liu, Yue Li	A Genetic-Neural Method of Optimizing Cut-Off Grade and Grade of Crude Ore.	ISNN (2)	2008	DBLP DOI BibTeX RDF	Genetic-neural optimization, Cut-off grade, Grade of crude ore
100	Na Li, Leilei Zhu, Prasenjit Mitra, Karl T. Mueller, Eric Poweleit, C. Lee Giles	oreChem ChemXSeer: a semantic digital library for chemistry.	JCDL	2010	DBLP DOI BibTeX RDF	ChemXSeer, seersuite, semantic web, support vector machines, digital library, metadata extraction, oai-ore
86	Jerome McDonough	Aligning METS with the OAI-ORE data model.	JCDL	2009	DBLP DOI BibTeX RDF	structural metadata, modeling, aggregation, METS, OAI-ORE
86	A. J. Richmond, John E. Beasley	An Iterative Construction Heuristic for the Ore Selection Problem.	J. Heuristics	2004	DBLP DOI BibTeX RDF	portfolio theory, downside risk, ore selection problem, combinatorial optimisation
86	George Labahn, Ziming Li 0002	Hyperexponential solutions of finite-rank ideals in orthogonal ore rings.	ISSAC	2004	DBLP DOI BibTeX RDF	hyperexponential solutions, linear partial difference systems, linear partial differential systems, ore rings
86	Hoon Hong	Ore Subresultant Coefficients in Solutions.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Ore polynomials, Resultants, Subresultants
86	Hoon Hong	Ore Principal Subresultant Coefficients in Solutions.	Appl. Algebra Eng. Commun. Comput.	2001	DBLP DOI BibTeX RDF	Ore polynomials, Resultants, Subresultants, Elimination theory
79	Xiaoling Huang, Yongfu Wang, Lijie Zhao, Tianyou Chai	Contemporary integrated manufacturing system based on ERP/MES/PCS in ore dressing.	ICARCV	2004	DBLP DOI BibTeX RDF
64	Clifford A. Lynch, Savas Parastatidis, Neil Jacobs, Herbert Van de Sompel, Carl Lagoze	The OAI-ORE effort: progress, challenges, synergies.	JCDL	2007	DBLP DOI BibTeX RDF	digital libraries, interoperability
62	Rafael S. Gonçalves 0001, Samantha Bail, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Birte Glimm, Yevgeny Kazakov	OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report.	ORE	2013	DBLP BibTeX RDF
62	Reza Nikjah, Norman C. Beaulieu	Achievable Rates and Fairness in Rateless Coded Decode-and-Forward Half-Duplex and Full-Duplex Opportunistic Relaying.	ICC	2008	DBLP DOI BibTeX RDF
62	Bruno Salvy	D-finiteness: algorithms and applications.	ISSAC	2005	DBLP DOI BibTeX RDF	creative telescoping, computer algebra, linear recurrences, elimination, linear differential equations
56	Christian-Emil Ore, Espen S. Ore	Re-linking a Dictionary Universe or the Meta-dictionary Ten Years Later.	DH	2010	DBLP BibTeX RDF
56	Robert Sanderson, Clare Llewellyn, Richard Jones	Evaluation of OAI-ORE via large-scale information topology visualization.	JCDL	2009	DBLP DOI BibTeX RDF	visualization, web 2.0, linked data, OAI-ORE
56	Ziming Li 0002, Michael F. Singer, Min Wu 0003, Dabin Zheng	A recursive method for determining the one-dimensional submodules of Laurent-Ore modules.	ISSAC	2006	DBLP DOI BibTeX RDF	Laurent-Ore algebras, associated systems, hyperexponential solutions, one-dimensional submodules
48	Frédéric Chyzak, Alban Quadrat, Daniel Robertz	Effective algorithms for parametrizing linear control systems over Ore algebras.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 93C05, 93B25, 16E30, 68W30, 13P10
46	Shahram Ghandeharizadeh, Shan Gao, Chris Gahagan, Russ Krauss	An On-Line Reorganization Framework for SAN File Systems.	ADBIS	2006	DBLP DOI BibTeX RDF
44	Michel Dumontier, Birte Glimm, Rafael S. Gonçalves 0001, Matthew Horridge, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Giorgos B. Stamou, Giorgos Stoilos (eds.)	Informal Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE-2015) co-located with the 28th International Workshop on Description Logics (DL 2015), Athens, Greece, June 6, 2015.	ORE	2015	DBLP BibTeX RDF
44	Patrick Koopmann, Renate A. Schmidt	LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks.	ORE	2015	DBLP BibTeX RDF
44	Roberto Yus, Fernando Bobillo, Carlos Bobed, Eduardo Mena	The OWL Reasoner Evaluation Goes Mobile.	ORE	2015	DBLP BibTeX RDF
44	Jaroslaw Bak	RuQAR : Reasoning with OWL 2 RL Using Forward Chaining Engines.	ORE	2015	DBLP BibTeX RDF
44	Floriano Scioscia, Michele Ruta, Eugenio Di Sciascio	A Swarm of Mini-MEs: Reasoning and Information Aggregation in Ubiquitous Multi-agent Contexts.	ORE	2015	DBLP BibTeX RDF
44	Ismail Ilkan Ceylan, Julian Mendez 0001, Rafael Peñaloza	The Bayesian Ontology Reasoner is BORN!	ORE	2015	DBLP BibTeX RDF
44	Edgaras Valincius, Hai H. Nguyen, Jeff Z. Pan	A Power Consumption Benchmark Framework for Ontology Reasoning on Android Devices.	ORE	2015	DBLP BibTeX RDF
44	Michael Lee, Nicolas Matentzoglu, Uli Sattler, Bijan Parsia	Verifying Reasoner Correctness - A Justication Based Method.	ORE	2015	DBLP BibTeX RDF
44	Alessandro Solimando, Ernesto Jiménez-Ruiz, Giovanna Guerrini	On the Feasibility of Using OWL 2 Reasoners in Ontology Alignment Repair Problems.	ORE	2015	DBLP BibTeX RDF
44	Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks 0001	Ontology-based Query Answering with PAGOdA.	ORE	2015	DBLP BibTeX RDF
44	Pieter Bonte, Femke Ongenae, Jeroen Schaballie, Ben De Meester, Dörthe Arndt, Wim Dereuddre, Jabran Bhatti, Stijn Verstichel, Filip De Turck, Erik Mannens	Evaluation and Optimized Usage of OWL 2 Reasoners in an Event-based eHealth Context.	ORE	2015	DBLP BibTeX RDF
44	Nicolas Matentzoglu, Jared Leo, Valentino Hudhra, Uli Sattler, Bijan Parsia	A Survey of Current, Stand-alone OWL Reasoners.	ORE	2015	DBLP BibTeX RDF
44	Samantha Bail, Birte Glimm, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Andreas Steigmiller (eds.)	Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), Vienna, Austria, July 13, 2014.	ORE	2014	DBLP BibTeX RDF
44	Dmitry Tsarkov	Incremental and Persistent Reasoning in FaCT++.	ORE	2014	DBLP BibTeX RDF
44	C. Maria Keet, Claudia d'Amato, Zubeida Casmod Khan, Agnieszka Lawrynowicz	Exploring Reasoning with the DMOP Ontology.	ORE	2014	DBLP BibTeX RDF
44	José Antonio Miñarro-Giménez, Matthias Samwald	An Update on Genomic CDS, a Complex Ontology for Pharmacogenomics and Clinical Decision Support.	ORE	2014	DBLP BibTeX RDF
44	Robert Stevens 0001, Nicolas Matentzoglu, Uli Sattler, Margaret Stevens	A Family History Knowledge Base in OWL 2.	ORE	2014	DBLP BibTeX RDF
44	Michele Ruta, Floriano Scioscia, Giuseppe Loseto, Filippo Gramegna, Saverio Ieva, Eugenio Di Sciascio	Mini-ME 2.0: Powering the Semantic Web of Things.	ORE	2014	DBLP BibTeX RDF
44	Thomas Eiter, Patrik Schneider, Mantas Simkus, Guohui Xiao 0001	Using OpenStreetMap Data to Create Benchmarks for Description Logic Reasoners.	ORE	2014	DBLP BibTeX RDF
44	Carlos Bobed, Fernando Bobillo, Roberto Yus, Guillermo Esteban, Eduardo Mena	Android Went Semantic: Time for Evaluation.	ORE	2014	DBLP BibTeX RDF
44	Michel Ludwig	Just: a Tool for Computing Justifications w.r.t. ELH Ontologies.	ORE	2014	DBLP BibTeX RDF
44	Jean-Rémi Bourguet, Luca Pulina	TROvE: a Graphical Tool to Evaluate OWL Reasoners.	ORE	2014	DBLP BibTeX RDF
44	Diego Calvanese, Davide Lanti, Martin Rezk, Mindaugas Slusnys, Guohui Xiao 0001	A Scalable Benchmark for OBDA Systems: Preliminary Report.	ORE	2014	DBLP BibTeX RDF
44	Alexander A. Kropotin	Evaluating OWL 2 Reasoners in the Context of Checking Entity-Relationship Diagrams During Software Development.	ORE	2014	DBLP BibTeX RDF
44	Samantha Bail, Birte Glimm, Rafael S. Gonçalves 0001, Ernesto Jiménez-Ruiz, Yevgeny Kazakov, Nicolas Matentzoglu, Bijan Parsia (eds.)	Informal Proceedings of the 2nd International Workshop on OWL Reasoner Evaluation (ORE-2013), Ulm, Germany, July 22, 2013	ORE	2013	DBLP BibTeX RDF
44	Mariano Rodriguez-Muro, Martín Rezk, Josef Hardi, Mindaugas Slusnys, Timea Bagosi, Diego Calvanese	Evaluating SPARQL-to-SQL Translation in Ontop.	ORE	2013	DBLP BibTeX RDF
44	Vinay K. Chaudhri, Michael A. Wessel, Stijn Heymans	KB_Bio_101 : A Challenge for OWL Reasoners.	ORE	2013	DBLP BibTeX RDF
44	Chan Le Duc, Myriam Lamolle, Antoine Zimmermann, Olivier Curé	DRAOn: A Distributed Reasoner for Aligned Ontologies.	ORE	2013	DBLP BibTeX RDF
44	Jose Cruz-Toledo, Alison Callahan, Michel Dumontier	A Large-scale Gene-centric Semantic Web Knowledge Base for Molecular Biology.	ORE	2013	DBLP BibTeX RDF
44	Alejandro Metke-Jimenez, Michael Lawley	Snorocket 2.0: Concrete Domains and Concurrent Classification.	ORE	2013	DBLP BibTeX RDF
44	Joerg Schoenfisch, Jens Ortmann	YARR!: Yet Another Rewriting Reasoner.	ORE	2013	DBLP BibTeX RDF
44	Yevgeny Kazakov, Pavel Klinov	Experimenting with ELK Reasoner on Android.	ORE	2013	DBLP BibTeX RDF
44	Roberto Yus, Carlos Bobed, Guillermo Esteban, Fernando Bobillo, Eduardo Mena	Android goes Semantic: DL Reasoners on Smartphones.	ORE	2013	DBLP BibTeX RDF
44	Mariano Rodriguez-Muro, Roman Kontchakov, Michael Zakharyaschev	OBDA with Ontop.	ORE	2013	DBLP BibTeX RDF
44	Matthias Samwald	Genomic CDS: an Example of a Complex Ontology for Pharmacogenetics and Clinical Decision Support.	ORE	2013	DBLP BibTeX RDF
44	Jean-Rémi Bourguet, Luca Pulina	FRaQuE: A Framework for Rapid Query Processing Evaluation.	ORE	2013	DBLP BibTeX RDF
44	Andrey V. Grigorev, Alexander G. Ivashko	TReasoner: System Description.	ORE	2013	DBLP BibTeX RDF
44	Weihong Song, Bruce Spencer, Weichang Du	A Transformation Approach for Classifying ALCHI(D) Ontologies with a Consequence-based ALCH Reasoner.	ORE	2013	DBLP BibTeX RDF
44	Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks 0001, Ernesto Jiménez-Ruiz	MORe: a Modular OWL Reasoner for Ontology Classification.	ORE	2013	DBLP BibTeX RDF
44	Jeff Z. Pan, Yuan Ren 0001, Nophadol Jekjantuk, Jhonatan Garcia	Reasoning the FMA Ontologies with TrOWL.	ORE	2013	DBLP BibTeX RDF
44	M. Berkan Sesen, Ernesto Jiménez-Ruiz, René Bañares-Alcántara, Michael Brady 0001	Evaluating OWL 2 Reasoners in the context of Clinical Decision Support in Lung Cancer Treatment Selection.	ORE	2013	DBLP BibTeX RDF
44	Pospishnyi Oleksandr	Extending Datatype Support for Tractable Reasoning with OWL 2 EL Ontologies.	ORE	2013	DBLP BibTeX RDF
44	Baris Sertkaya	The ELepHant Reasoner System Description.	ORE	2013	DBLP BibTeX RDF
44	Ian Horrocks 0001, Mikalai Yatskevich, Ernesto Jiménez-Ruiz (eds.)	Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE-2012), Manchester, UK, July 1st, 2012	ORE	2012	DBLP BibTeX RDF
44	Barry Bishop, Atanas Kiryakov, Zdravko Tashev, Mariana Damova, Kiril Ivanov Simov	OWLIM Reasoning over FactForge.	ORE	2012	DBLP BibTeX RDF
44	Giuseppe De Giacomo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Riccardo Rosati 0001, Marco Ruzzi, Domenico Fabio Savo	MASTRO: A Reasoner for Effective Ontology-Based Data Access.	ORE	2012	DBLP BibTeX RDF
44	Yingjie Li 0004, Yang Yu 0029, Jeff Heflin	Evaluating Reasoners Under Realistic Semantic Web Conditions.	ORE	2012	DBLP BibTeX RDF
44	Zhe Wu, Karl Rieb, George Eadon, Ankesh Khandelwal, Vladimir Kolovski	Advancing the Enterprise-class OWL Inference Engine in Oracle Database.	ORE	2012	DBLP BibTeX RDF
44	María del Mar Roldán García, José Francisco Aldana Montes	Evaluating DBOWL: A Non-materializing OWL Reasoner based on Relational Database Technology.	ORE	2012	DBLP BibTeX RDF
44	Julian Mendez 0001	jcel: A Modular Rule-based Reasoner.	ORE	2012	DBLP BibTeX RDF
44	Yong-Bin Kang, Yuan-Fang Li, Shonali Krishnaswamy	A Rigorous Characterization of Classification Performance - A Tale of Four Reasoners.	ORE	2012	DBLP BibTeX RDF
44	Weihong Song, Bruce Spencer, Weichang Du	WSReasoner: A Prototype Hybrid Reasoner for ALCHOI Ontology Classification using a Weakening and Strengthening Approach.	ORE	2012	DBLP BibTeX RDF
44	Michele Ruta, Floriano Scioscia, Eugenio Di Sciascio, Filippo Gramegna, Giuseppe Loseto	Mini-ME: the Mini Matchmaking Engine.	ORE	2012	DBLP BibTeX RDF
44	Wael Yehia, Mikhail Soutchanski	Solving the Projection Problem with OWL2 Reasoners: Experimental Study.	ORE	2012	DBLP BibTeX RDF
44	Ian Horrocks 0001, Boris Motik, Zhe Wang 0001	The HermiT OWL Reasoner.	ORE	2012	DBLP BibTeX RDF
44	Dmitry Tsarkov, Ignazio Palmisano	Chainsaw: a Metareasoner for Large Ontologies.	ORE	2012	DBLP BibTeX RDF
44	Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks 0001	On the Feasibility of Using OWL 2 DL Reasoners for Ontology Matching Problems.	ORE	2012	DBLP BibTeX RDF
44	Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik	ELK Reasoner: Architecture and Evaluation.	ORE	2012	DBLP BibTeX RDF
40	Charles Brooking, Stephen R. Shouldice, Gautier Robin, Bostjan Kobe, Jennifer L. Martin, Jane Hunter 0001	Comparing METS and OAI-ORE for Encapsulating Scientific Data Products: A Protein Crystallography Case Study.	eScience	2009	DBLP DOI BibTeX RDF	oai-ore mets crystallography lims repositories
38	Anna Gerber, Jane Hunter 0001	LORE: A Compound Object Authoring and Publishing Tool for the Australian Literature Studies Community.	ICADL	2008	DBLP DOI BibTeX RDF	IFLA FRBR, Bibliographic Ontologies, Named Graphs, OAI-ORE
38	Alexander B. Levin	Gröbner bases with respect to several term orderings and multivariate dimension polynomials.	ISSAC	2007	DBLP DOI BibTeX RDF	Gröbner basis, differential field extension, dimension polynomial, ore polynomials, p-dimensional ltration
38	Elizabeth L. Mansfield, Ágnes Szántó	Elimination theory for differential difference polynomials.	ISSAC	2003	DBLP DOI BibTeX RDF	Gröbner basis, differential polynomial, ore algebra, difference equation
35	Xiaoyan Chen, Daifei Liu	Multi-objective optimization modelling of iron ore sinter process based on ore particles field.	CAIBDA	2022	DBLP BibTeX RDF
35	Viktor Toporov, Valery Axelrod, Ualsher Tukeyev	Operative control of ore quality at the input of ore preparation operations of enrichment fabric.	J. Inf. Telecommun.	2019	DBLP DOI BibTeX RDF
35	Gaetan Murat	Résultants de polynômes de Ore et Cryptosystèmes de McEliece sur des Codes Rang faiblement structurés. (Resultants of Ore polynomials and McEliece Cryptosystems based on weakly structured Rank Codes).		2014	RDF
33	Jinliang Ding, Changxin Liu, Ming Wen, Tianyou Chai	Case-Based Decision Making Model for Supervisory Control of Ore Roasting Process.	ISNN (2)	2008	DBLP DOI BibTeX RDF	Roasting Process, Decision-making, Supervisory Control
33	André Vargas Abs da Cruz, Marley M. B. R. Vellasco, Marco Aurélio Cavalcanti Pacheco	Evolutionary System with Precedence Constraints for Ore Harbor Schedule Optimization.	EvoWorkshops	2008	DBLP DOI BibTeX RDF
33	Matthew J. Thurley	On-line 3D surface measurement of iron ore green pellets.	CIMCA/IAWTIC	2006	DBLP DOI BibTeX RDF
33	Simon Huband, Lyndon While, David Tuppurainen, Philip Hingston, Luigi Barone, Ted Bearman	Economic Optimisation of an Ore Processing Plant with a Constrained Multi-objective Evolutionary Algorithm.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF
31	Christie Myburgh, Kalyanmoy Deb	Evolutionary algorithms in large-scale open pit mine scheduling.	GECCO	2010	DBLP DOI BibTeX RDF	customized operators, open pit mine scheduling, combinatorial optimization, evolutionary optimization
31	Gustavo Carvalho, Adriana Santarosa Vivacqua, Jano Moreira de Souza, Sergio P. J. Medeiros	Large Scale Decision Making in Participatory Environmental Design.	CSCWD	2007	DBLP DOI BibTeX RDF
31	Sagnik Nandy, Larry Carter, Jeanne Ferrante	GUARD: Gossip Used for Autonomous Resource Detection.	IPDPS	2005	DBLP DOI BibTeX RDF
28	Didier A. Vega-Oliveros, Ore Koren	Measuring Spatiotemporal Civil War Dimensions Using Community-Based Dynamic Network Representation (CoDNet).	IEEE Trans. Comput. Soc. Syst.	2024	DBLP DOI BibTeX RDF
28	Elias N. Pergantis, Priyadarshan, Nadah Al Theeb, Parveen Dhillon, Jonathan P. Ore, Davide Ziviani, Eckhard A. Groll, Kevin J. Kircher	Field demonstration of predictive heating control for an all-electric house in a cold climate.	CoRR	2024	DBLP DOI BibTeX RDF
28	Joshua Park, Priyanshu Mahey, Ore Adeniyi	Improving EEG Signal Classification Accuracy Using Wasserstein Generative Adversarial Networks.	CoRR	2024	DBLP DOI BibTeX RDF
28	Ernesto Oré, Philippe Mahey, Eladio Ocaña	Inertial-relaxed splitting for composite monotone inclusions.	Open J. Math. Optim.	2023	DBLP DOI BibTeX RDF
28	Tobi Ore, Dengliang Gao	Prediction of reservoir brittleness from geophysical logs using machine learning algorithms.	Comput. Geosci.	2023	DBLP DOI BibTeX RDF
28	Al Emran, Cristina Dalle Ore, C. J. Ahrens, M. K. H. Khan, V. F. Chevrier, Dale P. Cruikshank	Pluto's Surface Mapping using Unsupervised Learning from Near-Infrared Observations of LEISA/Ralph.	CoRR	2023	DBLP DOI BibTeX RDF
28	Aniruddha Tamhane, Daniel Dobkin, Ore Shtalrid, Moshe Bouhnik, Erez Posner, Tse'ela Mida	Consistency Loss for Improved Colonoscopy Landmark Detection with Vision Transformers.	MLMI@MICCAI (2)	2023	DBLP DOI BibTeX RDF
28	Jeremy Gwinnup, Tim Anderson, Brian M. Ore, Eric G. Hansen, Kevin Duh	Enhancing Video Translation Context with Object Labels.	IWSLT@ACL	2023	DBLP DOI BibTeX RDF
28	Sussy Bayona Oré	Dropout in Computer Science, Systems Engineering and Software Engineering Programs.	WorldCIST (2)	2023	DBLP DOI BibTeX RDF
28	Gian Oré, William Kirk, Rick M. Thomas, Hugo E. Hernández-Figueroa	Simulation of Localization of Beaver Burrows by P-band SAR Tomography.	IGARSS	2023	DBLP DOI BibTeX RDF
28	Gian Oré, Alexandre dos Santos, Daniele Ukan, Ronald Zanetti, Mariane Camargo, Luciano P. Oliveira, Hugo E. Hernández-Figueroa	Detection of Acromyrmex Ant Nest in Industrial Forest by P-Band SAR Tomography.	IGARSS	2023	DBLP DOI BibTeX RDF