379 search results - page 44 / 76 » Foundations of Uncertain-Data Integration |
159
click to vote
CADE
2002
Springer
16 years 5 months ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
173
click to vote
SIGMOD
2004
ACM
16 years 5 months ago
2004
ACM
Despite the widespread and growing use of asynchronous copies to improve scalability, performance and availability, this practice still lacks a firm semantic foundation. Applicati...
134
click to vote
PERCOM
2007
ACM
16 years 4 months ago
2007
ACM
In this paper we present a toolkit for realizing capacitive sensing applications for human-computer interaction in pervasive computing systems. We argue that capacitive sensors - ...
105
click to vote
ACCV
2009
Springer
15 years 11 months ago
2009
Springer
What are the primitives of visual perception? The early feature-analysis theory insists on it being a local-to-global process which has acted as the foundation of most computer vis...
144
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
In the absence of a single module interface standard, integration of pre-designed modules in System-on-Chip design often requires the use of protocol converters. Existing approach...