912 search results - page 128 / 183 » Abstract Saturation-Based Inference |
271
click to vote
EMMCVPR
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. We present two data-driven importance distributions for particle filterbased articulated tracking; one based on background subtraction, another on depth information. In ...
PODC
1999
ACM
15 years 4 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
ACL
1998
15 years 1 months ago
1998
This paper presents a semantic interpretation of adjectival modification in terms of the Generative Lexicon. It highlights the elements which can be borrowed from the GL and devel...
106
click to vote
ESOP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
102
click to vote
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...