Sciweavers

11151 search results - page 1996 / 2231
» On the Complexity of Model Expansion
Sort
View
JAIR
2008
126views more  JAIR 2008»
15 years 6 months ago
Extended RDF as a Semantic Foundation of Rule Markup Languages
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...
Anastasia Analyti, Grigoris Antoniou, Carlos Viega...
163
Voted
JAR
2008
107views more  JAR 2008»
15 years 6 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
IJRR
2006
183views more  IJRR 2006»
15 years 6 months ago
Bayesian Occupancy Filtering for Multitarget Tracking: An Automotive Application
Reliable and efficient perception and reasoning in dynamic and densely cluttered environments are still major challenges for driver assistance systems. Most of today's system...
Christophe Coué, Cédric Pradalier, C...
JCIT
2008
154views more  JCIT 2008»
15 years 6 months ago
A Multi-Agent Framework for Testing 3-Tier Distributed Systems Architecture
Lack of time and capital for software testing is an oft encountered problem in most organizations. The plethora of possible test cases for each software component makes software t...
Sunitha Ramanujam, Hany F. El Yamany, Miriam A. M....
CORR
2007
Springer
137views Education» more  CORR 2007»
15 years 6 months ago
Subjective Evaluation of Forms in an Immersive Environment
: User’s perception of product, by essence subjective, is a major topic in marketing and industrial design. Many methods, based on users’ tests, are used so as to characterise ...
Jean-François Petiot, Damien Chablat
« Prev « First page 1996 / 2231 Last » Next »