224 search results - page 15 / 45 » Constraint Reasoning with Uncertain Data Using CDF-Intervals |
VMCAI
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
GIS
2006
ACM
14 years 9 months ago
2006
ACM
Currently, most of the operations performed for the construction of marine charts are still done manually. However, with the development of more and more powerful techniques, new ...
TITS
2002
14 years 9 months ago
2002
This paper proposes a novel concept of intelligent navigator that can give the driver timely advice on safe and efficient driving. From both the current traffic condition obtained ...
135
click to vote
ICDT
1995
ACM
15 years 1 months ago
1995
ACM
Abstract. Extension of the relational database model to represent complex data has been a focus of much research in recent years. At the same time, an alternative extension of the ...
ESOP
2003
Springer
15 years 2 months ago
2003
Springer
This paper proposes the use of constraint logic programming (CLP) to perform model checking of traditional, imperative programs. We present a semantics-preserving translation from ...