2351 search results - page 59 / 471 » A Method of Requirement Inconsistency Analysis |
182
click to vote
ICDE
2007
IEEE
15 years 11 months ago
2007
IEEE
We propose a class of constraints, referred to as conditional functional dependencies (CFDs), and study their applications in data cleaning. In contrast to traditional functional ...
CAD
2004
Springer
14 years 9 months ago
2004
Springer
Boundary representation models reconstructed from 3D range data suffer from various inaccuracies caused by noise in the data and the model building software. Such models can be im...
ICRA
2003
IEEE
15 years 3 months ago
2003
IEEE
— Simultaneous Localisation And Mapping (SLAM) is a stochastic map building method which permits consistent robot navigation without requiring an a priori map. The map is built i...
AAAI
1998
14 years 11 months ago
1998
We explore techniques for maintaining consistency in reasoning when employing dynamic hierarchical task decompositions. In particular, we consider the difficulty of maintaining co...
178
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
Concurrency-related bugs may happen when multiple threads access shared data and interleave in ways that do not correspond to any sequential execution. Their absence is not guaran...