3224 search results - page 584 / 645 » Abstract Error Projection |
163
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
174
click to vote
CANS
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. In this paper we study Perfectly Secure Message Transmission (PSMT) between a sender S and a receiver R, connected in a directed synchronous network through multiple para...
234
click to vote
ESWS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Semantic Wikis have demonstrated the power of combining Wikis with Semantic Web technology. The KiWi system goes beyond Semantic Wikis by providing a flexible and adapta...
209
click to vote
AAAI
2008
15 years 8 months ago
2008
Email client software is widely used for personal task management, a purpose for which it was not designed and is poorly suited. Past attempts to remedy the problem have focused o...
164
click to vote
ECCV
2008
Springer
16 years 8 months ago
2008
Springer
Abstract. Compressive sensing (CS) is an emerging field that provides a framework for image recovery using sub-Nyquist sampling rates. The CS theory shows that a signal can be reco...