563 search results - page 68 / 113 » An Observational Model for Spatial Logics |
159
click to vote
UIC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Runtime detection of contextual properties is one of the primary approaches to enabling context-awareness. Existing property detection schemes implicitly assume that cont...
151
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
We explore foundational typing support for strong updates — updating a memory cell to hold values of unrelated types at different points in time. We present a simple, but expres...
387
click to vote
EMMCVPR
2011
Springer
14 years 5 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 ...
173
click to vote
SCAI
2001
15 years 7 months ago
2001
Muskens presents in Meaning and Partiality a semantics of possibly contradictory beliefs and other propositional attitudes. We propose a different partial logic based on a few key...
156
click to vote
ISCIS
2004
Springer
15 years 11 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...