1725 search results - page 309 / 345 » Kokono Search: A Location Based Search Engine |
105
click to vote
VMCAI
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...
108
click to vote
IUI
2004
ACM
15 years 7 months ago
2004
ACM
In order to give people ubiquitous access to software applications, device controllers, and Internet services, it will be necessary to automatically adapt user interfaces to the c...
106
click to vote
SIGGRAPH
1993
ACM
15 years 5 months ago
1993
ACM
We present an efficient and robust algorithm for finding points of collision between time-dependent parametric and implicit surfaces. The algorithm detects simultaneous collisio...
115
click to vote
USENIX
2007
15 years 3 months ago
2007
Virtual machine (VM) memory allocation and VM consolidation can benefit from the prediction of VM page miss rate at each candidate memory size. Such prediction is challenging for...
129
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
Studies have shown that users have great difficulty specifying their security and privacy policies in a variety of application domains. While machine learning techniques have succ...