4372 search results - page 231 / 875 » Algorithmic Theories of Everything |
149
click to vote
CSCLP
2007
Springer
16 years 8 hour ago
2007
Springer
Global constraints are used in constraint programming to help users specify patterns that occur frequently in the real world. In addition, global constraints facilitate the use of ...
162
click to vote
MOBIWAC
2006
ACM
15 years 11 months ago
2006
ACM
Convergecast is a fundamental operation in wireless sensor networks. Existing convergecast solutions have focused on reducing latency and energy consumption. However, a good desig...
181
click to vote
SDM
2008
SIAM
15 years 7 months ago
2008
SIAM
In constrained clustering it is common to model the pairwise constraints as edges on the graph of observations. Using results from graph theory, we analyze such constraint graphs ...
139
click to vote
ENTCS
2006
15 years 5 months ago
2006
Abstract. Nelson and Oppen provided a methodology for modularly combining decision procedures for individual theories to construct a decision procedure for a combination of theorie...
149
click to vote
COMPGEOM
2009
ACM
16 years 10 days ago
2009
ACM
We present the Iterated-Tverberg algorithm, the first deterministic algorithm for computing an approximate centerpoint of a set S ∈ Rd with running time sub-exponential in d. T...