895 search results - page 42 / 179 » A Spectrum of Applications of Automated Reasoning |
150
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We introduce pairwise cardinality networks, networks of comparators, derived from pairwise sorting networks, which express cardinality constraints. We show that pairwise ...
165
click to vote
PLILP
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...
157
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
136
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
To support commonsense reasoning about space, we require a qualitative calculus of spatial entities and their relations. One requirement for such a calculus, which has not so far ...
135
click to vote
MVA
2008
15 years 4 months ago
2008
In this paper, we propose a framework that can efficiently combine features for robust tracking based on fusing the outputs of multiple spatiogram trackers. This is achieved withou...