430 search results - page 55 / 86 » On Using Satisfiability-Based Pruning Techniques in Covering... |
SSD
2005
Springer
15 years 4 months ago
2005
Springer
This paper proposes and solves a-autonomy and k-stops shortest path problems in large spatial databases. Given a source s and a destination d, an aautonomy query retrieves a sequen...
DASFAA
2007
IEEE
15 years 4 months ago
2007
IEEE
In the era of the Internet, more and more privacy-sensitive data is published online. Even though this kind of data are published with sensitive attributes such as name and social ...
147
click to vote
TC
2011
14 years 5 months ago
2011
—Increasing energy consumption in server consolidation environments leads to high maintenance costs for data centers. Main memory, no less than processor, is a major energy consu...
115
click to vote
ATAL
2011
Springer
13 years 10 months ago
2011
Springer
The fastest known algorithm for solving General Bayesian Stackelberg games with a finite set of follower (adversary) types have seen direct practical use at the LAX airport for o...
119
click to vote
KDD
2012
ACM
13 years 29 days ago
2012
ACM
Heterogeneous information networks that contain multiple types of objects and links are ubiquitous in the real world, such as bibliographic networks, cyber-physical networks, and ...