7467 search results - page 142 / 1494 » Incompleteness in information integration |
ICRA
2002
IEEE
15 years 3 months ago
2002
IEEE
Both simultaneous localization and mapping (SLAM) and detection and tracking of moving objects (DTMO) play key roles in robotics and automation. For certain constrained environmen...
CORR
2007
Springer
14 years 10 months ago
2007
Springer
Integer octagonal constraints (a.k.a. Unit Two Variables Per Inequality or UTVPI integer constraints) constitute an interesting class of constraints for the representation and solu...
FORTE
2009
14 years 8 months ago
2009
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...
SEUS
2007
IEEE
15 years 4 months ago
2007
IEEE
Smart Home System (SHS) is one of popular applications in ubiquitous computing, which provides convenient services for a user with userfriendly intelligent system interfaces. Among...
ECAI
1992
Springer
15 years 2 months ago
1992
Springer
We consider non-Horn Deductive Data Bases (DDB) represented in a First Order language without function symbols. In this context the DDB is an incomplete description of the world. ...