Sciweavers

2845 search results - page 185 / 569
» Constraints over Ontologies
Sort
View
KI
2002
Springer
15 years 6 months ago
Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
Bernhard Nebel, Alexander Scivos
VLSID
2005
IEEE
149views VLSI» more  VLSID 2005»
16 years 7 months ago
ADOPT: An Approach to Activity Based Delay Optimization
: The direct result of shrinking devices is not only higher densities but also increased switching activity and thus higher device temperatures. The variation in temperature over t...
Gaurav Arora, Abhishek Sharma, D. Nagchoudhuri, M....
IROS
2007
IEEE
87views Robotics» more  IROS 2007»
16 years 27 days ago
Vision-based loop closing for delayed state robot mapping
— This paper shows results on outdoor vision-based loop closing for Simultaneous Localization and Mapping. Our experiments show that for loops of over 50m, the pose estimates mai...
Viorela Ila, Juan Andrade-Cetto, Rafael Valencia, ...
DEXAW
2006
IEEE
104views Database» more  DEXAW 2006»
15 years 10 months ago
On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases
When a database is defined as views over autonomous sources, inconsistencies with respect to global integrity constraints are to be expected. This paper investigates the possibili...
Henning Christiansen, Davide Martinenghi
ATAL
2007
Springer
16 years 24 days ago
On opportunistic techniques for solving decentralized Markov decision processes with temporal constraints
Decentralized Markov Decision Processes (DEC-MDPs) are a popular model of agent-coordination problems in domains with uncertainty and time constraints but very difficult to solve...
Janusz Marecki, Milind Tambe