575 search results - page 83 / 115 » A Spectral Approach to Lower Bounds |
COMBINATORICS
2004
15 years 16 days ago
2004
In this paper we bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive...
122
Voted
IJRR
2010
14 years 11 months ago
2010
Abstract— Accurate terrain estimation is critical for autonomous offroad navigation. Reconstruction of a 3D surface allows rough and hilly ground to be represented, yielding fast...
139
Voted
TACAS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
142
Voted
WINET
2011
14 years 7 months ago
2011
Abstract—We consider the problem of aggregation convergecast scheduling in wireless sensor networks. Aggregation convergecast differs from regular convergecast in that it accommo...
110
Voted
ANOR
2011
14 years 4 months ago
2011
The challenge of maximizing the diversity of a collection of points arises in a variety of settings, including the setting of search methods for hard optimization problems. One ver...