Sciweavers

3374 search results - page 125 / 675
» Explaining Similarity of Terms
Sort
View
KCAP
2009
ACM
15 years 10 months ago
A catalogue of OWL ontology antipatterns
Debugging inconsistent OWL ontologies is a timeconsuming task. Debugging services included in existing ontology engineering tools are still far from providing adequate support to ...
Catherine Roussey, Óscar Corcho, Luis Manue...
ICRA
2008
IEEE
129views Robotics» more  ICRA 2008»
15 years 10 months ago
Pareto optimal multi-robot coordination with acceleration constraints
— We consider a collection of robots sharing a common environment, each robot constrained to move on a roadmap in its configuration space. To program optimal collision-free moti...
Jae Bum Jung, Robert Christ
IJCNN
2008
IEEE
15 years 10 months ago
Out-of-body experiences: False climbs in a supine position?
— Out-of-body experiences (OBEs) are illusions, where people experience themselves as being located outside their physical body and often flying or floating at an elevated loca...
Lars Schwabe, Olaf Blanke
IROS
2008
IEEE
122views Robotics» more  IROS 2008»
15 years 10 months ago
Vehicle dynamics estimation for camera-based visibility distance estimation
Abstract— The presence of an area with low visibility conditions is a relevant information for autonomous vehicle as far as environment sensing is important regarding safety. In ...
Clement Boussard, Nicolas Hautière, Brigitt...
LICS
2008
IEEE
15 years 10 months ago
Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule
Separation logic involves two dual forms of modularity: local reasoning makes part of the store invisible within a static scope, whereas hiding local state makes part of the store...
François Pottier