Search results for "racer"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
91	Jin Song Dong, Chew Hung Lee, Hian Beng Lee, Yuan-Fang Li, Hai H. Wang	A combined approach to checking web ontologies.	WWW	2004	DBLP DOI BibTeX RDF	racer, ontologies, semantic web, z, alloy, daml+oil
81	Eric Bodden, Klaus Havelund	Racer: effective race detection using aspectj.	ISSTA	2008	DBLP DOI BibTeX RDF	static analysis, aspect-oriented programming, runtime verification, race detection, semantic pointcuts
81	Volker Haarslev, Ralf Möller 0001	RACER System Description.	IJCAR	2001	DBLP DOI BibTeX RDF
52	Salma Gomaa, Nahla A. Belal, Yasser El-Sonbaty	H-RACER: Hybrid RACER to Correct Substitution, Insertion, and Deletion Errors.	IWBBIO (1)	2017	DBLP DOI BibTeX RDF
44	Xi Bai 0002, Jigui Sun, Zehai Li, Xianrui Lu	Domain Ontology Learning and Consistency Checking Based on TSC Approach and Racer.	RR	2007	DBLP DOI BibTeX RDF	hierarchical clustering, consistency checking, Ontology learning, ontology reasoning
44	Steffen P. Walz, Gerhard M. Buurman, Christoph Wartmann, Simon Schirm, Ádám Moravánszky, Ronald Vuillemin	Carplication: a rhetorical study information racer.	Advances in Computer Entertainment Technology	2004	DBLP DOI BibTeX RDF	rhetoric of games, theory of game design, serious games, game design, curriculum development
42	Michael Racer, Robin Lovgren	AEGISi: Attribute Experimentation Guiding Improvement Searches Inline Framework.	Int. J. Oper. Res. Inf. Syst.	2016	DBLP DOI BibTeX RDF
42	Mehdi Amini, Tina Wakolbinger, Michael Racer, Mohammad G. Nejad	Alternative supply chain production-sales policies for new product diffusion: An agent-based modeling and simulation approach.	Eur. J. Oper. Res.	2012	DBLP DOI BibTeX RDF
42	Sandy Mehlhorn, Michael Racer, Stephanie Ivey, Martin Lipinski	A Single-Objective Recovery Phase Model.	Int. J. Inf. Technol. Proj. Manag.	2011	DBLP DOI BibTeX RDF
42	Michael Racer, Robin Lovgren	AEGIS - attribute experimentation guiding improvement searches.	J. Heuristics	2009	DBLP DOI BibTeX RDF
42	Robin Lovgren, Michael Racer	Algorithms for mixed-model sequencing with due date restrictions.	Eur. J. Oper. Res.	2000	DBLP DOI BibTeX RDF
42	Clive Thomas, Kevin Campbell, Gail Hines, Michael Racer	Airbus Packing at Federal Express.	Interfaces	1998	DBLP DOI BibTeX RDF
42	Mohammad M. Amini, Michael Racer, Parviz Ghandforoush	Heuristic sensitivity analysis in a combinatoric environment: An exposition and case study.	Eur. J. Oper. Res.	1998	DBLP DOI BibTeX RDF
42	Michael Racer, Mohammad M. Amini	A robust heuristic for the Generalized Assignment Problem.	Ann. Oper. Res.	1994	DBLP DOI BibTeX RDF
36	Christopher J. O. Baker, Xiao Su, Greg Butler, Volker Haarslev	Ontoligent Interactive Query Tool.	CSWWS	2006	DBLP DOI BibTeX RDF
26	Satpreet Harcharan Singh, Kevin Jiang, Kanchan Bhasin, Ashutosh Sabharwal, Nidal Moukaddam, Ankit B. Patel	RACER: An LLM-powered Methodology for Scalable Analysis of Semi-structured Mental Health Interviews.	CoRR	2024	DBLP DOI BibTeX RDF
26	Mitra Alidoosti, Alireza Nowroozi, Ahmad Nickabadi	Business-layer client-side racer: dynamic security testing of the web application against client-side race condition in the business layer.	Int. J. Inf. Sec.	2023	DBLP DOI BibTeX RDF
26	Boyu Zhou, Hao Xu, Shaojie Shen	RACER: Rapid Collaborative Exploration With a Decentralized Multi-UAV System.	IEEE Trans. Robotics	2023	DBLP DOI BibTeX RDF
26	Jacob Tyo, Youngseog Chung, Motolani Olarinre, Zachary C. Lipton	Reading Between the Mud: A Challenging Motorcycle Racer Number Dataset.	CoRR	2023	DBLP DOI BibTeX RDF
26	Tianyi Li, Alexander Halatsis, Raphael E. Stern	RACER: Rational Artificial Intelligence Car-following-model Enhanced by Reality.	CoRR	2023	DBLP DOI BibTeX RDF
26	Leticia Oyuki Rojas-Perez, Alejandro Gutierrez-Giles, José Martínez-Carranza	Neural Drone Racer Mentored by Classical Controllers.	MICAI (1)	2023	DBLP DOI BibTeX RDF
26	Romolo Marotta	RCR Report of "Zero Lookahead? Zero Problem. The Window Racer Algorithm".	SIGSIM-PADS	2023	DBLP DOI BibTeX RDF
26	Philipp Andelfinger, Till Köster, Adelinde M. Uhrmacher	Zero Lookahead? Zero Problem. The Window Racer Algorithm.	SIGSIM-PADS	2023	DBLP DOI BibTeX RDF
26	Mitra Alidoosti, Alireza Nowroozi, Ahmad Nickabadi	Semantic web Racer: Dynamic security testing of the web application against race condition in the business layer.	Expert Syst. Appl.	2022	DBLP DOI BibTeX RDF
26	Mitra Alidoosti, Alireza Nowroozi, Ahmad Nickabadi	Business-Layer Session Puzzling Racer: Dynamic Security Testing Against Session Puzzling Race Conditions in Business Layer.	ISC Int. J. Inf. Secur.	2022	DBLP DOI BibTeX RDF
26	Boyu Zhou, Hao Xu, Shaojie Shen	RACER: Rapid Collaborative Exploration with a Decentralized Multi-UAV System.	CoRR	2022	DBLP DOI BibTeX RDF
26	Minh S. Q. Truong, Liting Shen, Alexander Glass, Alison Hoffmann, L. Richard Carley, James A. Bain, Saugata Ghose	Adapting the RACER Architecture to Integrate Improved In-ReRAM Logic Primitives.	IEEE J. Emerg. Sel. Topics Circuits Syst.	2022	DBLP DOI BibTeX RDF
26	Peyman Hosseini, Alireza Basiri	GRACER: Improving the Accuracy of RACER Classifier Using A Greedy Approach.	CSICC	2022	DBLP DOI BibTeX RDF
26	Ugur Bugra Etlik, Berk Korkmaz, Aykut Beke, Tufan Kumbasar	A fuzzy logic-based autonomous car control system for the JavaScript Racer game.	Trans. Inst. Meas. Control	2021	DBLP DOI BibTeX RDF
26	Minh S. Q. Truong, Eric Chen, Deanyone Su, Liting Shen, Alexander Glass, L. Richard Carley, James A. Bain, Saugata Ghose	RACER: Bit-Pipelined Processing Using Resistive Memory.	MICRO	2021	DBLP DOI BibTeX RDF
26	Alexander A. Kilin, Yuriy Karavaev, Kirill Yefremov	Experimental Investigations of the Controlled Motion of the Roller Racer Robot.	CLAWAR	2021	DBLP DOI BibTeX RDF
26	Rohit Verma, Justas Brazauskas, Vadim Safronov, Matthew Danish, Ian Lewis, Richard Mortier	RACER: Real-Time Automated Complex Event Recognition in Smart Environments.	SIGSPATIAL/GIS	2021	DBLP DOI BibTeX RDF
26	Niklas Langmaack, Thorben Schobre, Quirin Maurus, Markus Henke	Battery System Design applied on IMAB-Racer Research EV.	EVER	2020	DBLP DOI BibTeX RDF
26	Javad Basiri, Fattaneh Taghiyareh, Heshaam Faili	RACER: accurate and efficient classification based on rule aggregation approach.	Neural Comput. Appl.	2019	DBLP DOI BibTeX RDF
26	Pezhman Shojaa Sahneh, Amin Sarihi, Benjamin Warburton, Ahmad Patooghy	RaceR: A Thread Mapping Algorithm for Race Reduction in Multi-Level Shared Caches.	PDP	2019	DBLP DOI BibTeX RDF
26	Yuhuang Hu, Hong Ming Chen, Tobi Delbrück	Slasher: Stadium racer car for event camera end-to-end learning autonomous driving experiments.	AICAS	2019	DBLP DOI BibTeX RDF
26	Mohammad Reza Bonyadi, Zbigniew Michalewicz, Samadhi Nallaperuma, Frank Neumann 0001	Ahura: A Heuristic-Based Racer for the Open Racing Car Simulator.	IEEE Trans. Comput. Intell. AI Games	2017	DBLP DOI BibTeX RDF
26	Alberto Ros 0001, Stefanos Kaxiras	Racer: TSO consistency via race detection.	MICRO	2016	DBLP DOI BibTeX RDF
26	Roman Debski	High-performance simulation-based algorithms for an alpine ski racer's trajectory optimization in heterogeneous computer systems.	Int. J. Appl. Math. Comput. Sci.	2014	DBLP DOI BibTeX RDF
26	Andrej Gams, Jesse van den Kieboom, Massimo Vespignani, Luc Guyot, Ales Ude, Auke Jan Ijspeert	Rich periodic motor skills on humanoid robots: Riding the pedal racer.	ICRA	2014	DBLP DOI BibTeX RDF
26	Ádám Rák	RACER data stream based array processor and algorithm implementation methods as well as their applications for parallel, heterogeneous computing architectures		2014	RDF
26	Lucian Ilie, Michael Molnar	RACER: Rapid and accurate correction of errors in reads.	Bioinform.	2013	DBLP DOI BibTeX RDF
26	Charlie Irawan Tan, Wen-Kai Tai	Characteristics preserving racer animation: a data-driven race path synthesis in formation space.	Comput. Animat. Virtual Worlds	2012	DBLP DOI BibTeX RDF
26	Zi Ye, Hamilton A. Hernandez, T. C. Nicholas Graham, Darcy Fehlings, Lauren Switzer, Md Ameer Hamza, Irina Schumann	Liberi and the racer bike: exergaming technology for children with cerebral palsy.	ASSETS	2012	DBLP DOI BibTeX RDF
26	Jacky S. L. Ting, Wai Ming Wang, S. K. Kwok, Albert H. C. Tsang, Wing Bun Lee	RACER: Rule-Associated CasE-based Reasoning for supporting General Practitioners in prescription making.	Expert Syst. Appl.	2010	DBLP DOI BibTeX RDF
26	Simone A. Ludwig, Craig Thompson, Kristofor Amundson	Performance Analysis of a Deductive Database with a Semantic Web Reasoning Engine: ConceptBase and Racer.	SEKE	2009	DBLP BibTeX RDF
26	Tim C. Kietzmann, Martin A. Riedmiller	The Neuro Slot Car Racer: Reinforcement Learning in a Real World Setting.	ICMLA	2009	DBLP DOI BibTeX RDF	offline reinforcement learning, pattern selection, real-world application
26	Brad Herman, John Gibson, Erik Gamache	A.I. cars for speed racer.	SIGGRAPH Talks	2008	DBLP DOI BibTeX RDF
26	Carolyn Anderson	Box racer.	SIGGRAPH Computer Animation Festival	2008	DBLP DOI BibTeX RDF
26	Carlye Archibeque	Speed Racer: car flip.	SIGGRAPH ASIA Computer Animation Festival	2008	DBLP DOI BibTeX RDF
26	Peng Cheng 0009, Emilio Frazzoli, Vijay Kumar 0001	Motion Planning for the Roller Racer with a Sticking/Slipping Switching Model.	ICRA	2006	DBLP DOI BibTeX RDF
26	Kruthi Bhoopalam, Volker Haarslev	Fire - Extending Racer by an Engine for SWRL Rules.	Description Logics	2005	DBLP BibTeX RDF
26	CuiMing Chen, Volker Haarslev, JiaoYue Wang	LAS: Extending Racer by a Large ABox Store.	Description Logics	2005	DBLP BibTeX RDF
26	Volker Haarslev, Ralf Möller 0001, Ragnhild Van Der Straeten, Michael Wessel	Extended Query Facilities for Racer and an Application to Software-Engineering Problems.	Description Logics	2004	DBLP BibTeX RDF
26	Ralf Möller 0001, Volker Haarslev	Description Logics for the Semantic Web: Racer as a Basis for Building Agent Systems.	Künstliche Intell.	2003	DBLP BibTeX RDF
26	Jan Hladik	Reasoning about Nominals with FaCT and RACER.	Description Logics	2003	DBLP BibTeX RDF
26	Ralf Möller 0001, Ronald Cornet, Volker Haarslev	Graphical Interfaces for Racer: Querying DAML+OIL and RDF Documents.	Description Logics	2003	DBLP BibTeX RDF
26	Volker Haarslev, Ralf Möller 0001	Racer: A Core Inference Engine for the Semantic Web.	EON	2003	DBLP BibTeX RDF
26	Cyprian Grassmann, Joachim K. Anlauf	RACER - A Rapid Prototyping Accelerator for Pulsed Neural Networks.	FCCM	2002	DBLP DOI BibTeX RDF
26	Volker Haarslev, Ralf Möller 0001	Practical Reasoning in RACER with a Concrete Domain for Linear Inequations.	Description Logics	2002	DBLP BibTeX RDF
26	Volker Haarslev, Ralf Möller 0001	Description of the RACER System and its Applications.	Description Logics	2001	DBLP BibTeX RDF
26	Valerie Dunford	Big head racer.	SIGGRAPH Visual Proceedings	1997	DBLP DOI BibTeX RDF
26	Lee Ford Parker	Toy racer.	SIGGRAPH Visual Proceedings	1997	DBLP DOI BibTeX RDF
26	David Yeh, Gennady Feygin, Paul Chow	RACER: a reconfigurable constraint-length 14 Viterbi decoder.	FCCM	1996	DBLP DOI BibTeX RDF
18	Jeong-Hee Kim, Hoon Kwon, Do-Hyeon Kim, Ho-Young Kwak, Sang Joon Lee	Building a Service-Oriented Ontology for Wireless Sensor Networks.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Sensor Ontology, Service-Oriented Services, Semantics, WSNs
18	Xiaodong Zhu, Zhiqiu Huang, Guohua Shen	Description Logic Based Consistency Checking upon Data Mining Metadata.	RSKT	2008	DBLP DOI BibTeX RDF	Data mining, Metadata, Knowledge representation, Automated reasoning, Consistency checking
18	Mustafa Jarrar	Towards Automated Reasoning on ORM Schemes.	ER	2007	DBLP DOI BibTeX RDF
18	Mustafa Jarrar	Mapping ORM into the SHOIN/OWL Description Logic.	OTM Workshops (1)	2007	DBLP DOI BibTeX RDF
18	Ruliang Xiao, Shengqun Tang	A Categorial Context with Default Reasoning Approach to Heterogeneous Ontology Integration.	International Conference on Computational Science (2)	2007	DBLP DOI BibTeX RDF	categorial context, description logics, ontology integration, default reasoning
18	Yuan-Fang Li, Jing Sun 0002, Gillian Dobbie, Jun Sun 0001, Hai H. Wang	Validating Semistructured Data Using OWL.	WAIM	2006	DBLP DOI BibTeX RDF	Semantic Web, Formal Verification, OWL, Semistructured Data
18	Akrivi Vlachou, Michalis Vazirgiannis, Klaus Berberich	Representing and Quantifying Rank - Change for the Web Graph.	WAW	2006	DBLP DOI BibTeX RDF	PageRank, Web Graph, Web Dynamics
18	Jing Mei, Harold Boley, Jie Li, Virendrakumar C. Bhavsar, Zuoquan Lin	DatalogDL: Datalog Rules Parameterized by Description Logics.	CSWWS	2006	DBLP DOI BibTeX RDF
18	Uwe Aßmann, Jakob Henriksson, Jan Maluszynski	Combining Safe Rules and Ontologies by Interfacing of Reasoners.	PPSWR	2006	DBLP DOI BibTeX RDF
18	Shaofeng Fan, Naixiao Zhang	Feature Model Based on Description Logics.	KES (2)	2006	DBLP DOI BibTeX RDF
18	Gayo Diallo, Michel Simonet, Ana Simonet	An Approach to Automatic Ontology-Based Annotation of Biomedical Texts.	IEA/AIE	2006	DBLP DOI BibTeX RDF
18	Yonglei Yao, Sen Su, Fangchun Yang	Service Matching Based on Semantic Descriptions.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
18	Dimitrios A. Koutsomitropoulos, Dimitrios P. Meidanis, Anastasia N. Kandili, Theodore S. Papatheodorou	Establishing the Semantic Web Reasoning Infrastructure on Description Logic Inference Engines.	ICEIS (Selected Papers)	2006	DBLP DOI BibTeX RDF
18	Richard H. Karpinski	Jef Raskin, pioneer.	Interactions	2005	DBLP DOI BibTeX RDF
18	Yin Hua Li, Salima Benbernou	Representing and Reasoning About Privacy Abstractions.	WISE	2005	DBLP DOI BibTeX RDF
18	Chen Zhao 0001, NuerMaimaiti Heilili, Shengping Liu, Zuoquan Lin	Representation and Reasoning on RBAC: A Description Logic Approach.	ICTAC	2005	DBLP DOI BibTeX RDF
18	Jocelyn Simmonds, M. Cecilia Bastarrica	A tool for automatic UML model consistency checking.	ASE	2005	DBLP DOI BibTeX RDF	model consistency checking, software design verification, description logics
18	Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits	Nonmonotonic Description Logic Programs: Implementation and Experiments.	LPAR	2004	DBLP DOI BibTeX RDF
18	Deepali Khushraj, Ora Lassila, Timothy W. Finin	sTuples: Semantic Tuple Spaces.	MobiQuitous	2004	DBLP DOI BibTeX RDF
18	Ragnhild Van Der Straeten, Viviane Jonckers, Tom Mens	Supporting Model Refactorings Through Behaviour Inheritance Consistencies.	UML	2004	DBLP DOI BibTeX RDF
18	Jakob Henriksson, Jan Maluszynski	Static Type-Checking of Datalog with Ontologies.	PPSWR	2004	DBLP DOI BibTeX RDF	ontologies, Semantic Web, logic programs, rules
18	Rob Lemmens, Helbert Arenas	Semantic Matchmaking in Geo Service Chains: Reasoning with a Location Ontology.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
18	Christine Golbreich	Combining Rule and Ontology Reasoners for the Semantic Web.	RuleML	2004	DBLP DOI BibTeX RDF
18	Volker Haarslev, Ying Lu 0003, Nematollaah Shiri	ONTOXPL - Intelligent Exploration of OWL Ontologies.	Web Intelligence	2004	DBLP DOI BibTeX RDF