3820 search results - page 560 / 764 » Bounded Model Debugging |
121
click to vote
APSCC
2009
IEEE
15 years 9 months ago
2009
IEEE
—Providing data as a service has not only fostered the access to data from anywhere at anytime but also reduced the cost of investment. However, data is often associated with var...
118
click to vote
KDD
2009
ACM
15 years 9 months ago
2009
ACM
In this paper we propose a utility model that accounts for both sales and branding advertisers. We first study the computational complexity of optimization problems related to bo...
133
click to vote
ALGOSENSORS
2009
Springer
15 years 9 months ago
2009
Springer
We introduce a framework for storing and processing kinetic data observed by sensor networks. These sensor networks generate vast quantities of data, which motivates a significant...
134
click to vote
WADS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Algorithms dealing with massive data sets are usually designed for I/O-efficiency, often captured by the I/O model by Aggarwal and Vitter. Another aspect of dealing with ...
143
click to vote
SAT
2009
Springer
15 years 9 months ago
2009
Springer
One of the starting points of propositional proof complexity is the seminal paper by Cook and Reckhow [6], where they defined propositional proof systems as poly-time computable f...