3318 search results - page 630 / 664 » The Weak Instance Model |
POPL
2011
ACM
13 years 29 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
SIGIR
2012
ACM
12 years 17 days ago
2012
ACM
Query auto-completion (QAC) is a common feature in modern search engines. High quality QAC candidates enhance search experience by saving users time that otherwise would be spent ...
EUROPAR
2004
Springer
14 years 3 months ago
2004
Springer
The interesting properties of P2P systems (high availability despite peer volatility, support for heterogeneous architectures, high scalability, etc.) make them attractive for dist...
ECCV
2000
Springer
15 years 3 hour ago
2000
Springer
We improve the promising Colour by Correlation method for computational colour constancy by modifying it to work in a three dimensional colour space. The previous version of the al...
ICDE
2007
IEEE
14 years 11 months ago
2007
IEEE
In many distributed environments, the primary function of monitoring software is to detect anomalies, that is, instances when system behavior deviates substantially from the norm....