3731 search results - page 631 / 747 » cases 2006 |
123
Voted
APPROX
2006
Springer
15 years 4 months ago
2006
Springer
We consider Glauber dynamics on finite spin systems. The mixing time of Glauber dynamics can be bounded in terms of the influences of sites on each other. We consider three parame...
103
Voted
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
Sequential and simultaneous auctions are two important mechanisms for buying/selling multiple objects. These two mechanisms yield different outcomes (i.e., different revenues and a...
110
click to vote
CAV
2006
Springer
15 years 4 months ago
2006
Springer
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
119
Voted
CIKM
2006
Springer
15 years 4 months ago
2006
Springer
We discuss information retrieval methods that aim at serving a diverse stream of user queries such as those submitted to commercial search engines. We propose methods that emphasi...
105
Voted
CONCUR
2006
Springer
15 years 4 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...