Sciweavers

3172 search results - page 293 / 635
» On the Random-Self-Reducibility of Complete Sets
Sort
View
COCO
2007
Springer
75views Algorithms» more  COCO 2007»
16 years 27 days ago
On the Theory of Matchgate Computations
Valiant has proposed a new theory of algorithmic computation based on perfect matchings and Pfaffians. We study the properties of matchgates—the basic building blocks in this n...
Jin-yi Cai, Vinay Choudhary, Pinyan Lu
COCOON
2007
Springer
16 years 27 days ago
Online Interval Scheduling: Randomized and Multiprocessor Cases
We consider the problem of scheduling a set of equal-length intervals arriving online, where each interval is associated with a weight and the objective is to maximize the total we...
Stanley P. Y. Fung, Chung Keung Poon, Feifeng Zhen...
CONCUR
2007
Springer
16 years 27 days ago
Mobility Control Via Passports
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...
Samuel Hym
COSIT
2007
Springer
107views GIS» more  COSIT 2007»
16 years 27 days ago
Spatial Reasoning with a Hole
Cavities in spatial phenomena require geometric representations of regions with holes. Existing models for reasoning over topological relations either exclude such specialized regi...
Max J. Egenhofer, Maria Vasardani
188
Voted
CP
2007
Springer
16 years 27 days ago
Limitations of Restricted Branching in Clause Learning
The techniques for making decisions, i.e., branching, play a central role in complete methods for solving structured CSP instances. In practice, there are cases when SAT solvers be...
Matti Järvisalo, Tommi A. Junttila