4480 search results - page 31 / 896 » Prototyping Completion with Constraints Using Computational ... |
119
Voted
CLIMA
2004
15 years 4 months ago
2004
In this paper we extend the Revision Programming framework--a logic-based framework to express and maintain constraints on knowledge bases-with different forms of preferences. Pref...
118
click to vote
RTSS
2008
IEEE
15 years 9 months ago
2008
IEEE
Integrating COTS components in critical real-time systems is challenging. In particular, we show that the interference between cache activity and I/O traffic generated by COTS pe...
147
click to vote
STACS
2009
Springer
15 years 10 months ago
2009
Springer
Well-structured transition systems provide the right foundation to compute a finite basis of the set of predecessors of the upward closure of a state. The dual problem, to compute...
125
click to vote
ICCV
2009
IEEE
16 years 8 months ago
2009
IEEE
In this paper we propose an algorithm to estimate missing
values in tensors of visual data. The values can be missing
due to problems in the acquisition process, or because
the ...
135
Voted
ICCV
1995
IEEE
15 years 6 months ago
1995
IEEE
A new technique is presented for computing 3D scene structure from point and line features in monocular image sequences. Unlike previous methods, the technique guarantees the comp...