1636 search results - page 201 / 328 » Reasoning About Quantum Systems |
168
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
153
click to vote
EUROPAR
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a monitoring environment that enables the analysis of memory access behavior of applications in a selective way with a potentially very high degree of detail. ...
158
click to vote
FLOPS
2004
Springer
15 years 11 months ago
2004
Springer
We present a graphical tool for the declarative debugging of wrong answers in functional-logic languages. The tool, integrated in the system T OY, can be used to navigate a computa...
145
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
Addressing non-orthogonal software concerns that arisefrom requirements can significantly contribute to the complexity of developing large systems. Difficulties arise from the need...
173
click to vote
ICCV
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes an approach to recovering surface models of complex scenes from the quasi-sparse data returned by a feature based stereo system. The method can be used to mer...