5831 search results - page 16 / 1167 » Distributed Dynamic Backtracking |
BIOINFORMATICS
2012
13 years 1 months ago
2012
ENTCS
2007
14 years 11 months ago
2007
RCCS is a variant of Milner’s CCS where processes are allowed a controlled form of backtracking. It turns out that the RCCS reinterpretation of a CCS process is equivalent, in t...
APPROX
2010
Springer
15 years 17 days ago
2010
Springer
: Let (C1, C1), (C2, C2), . . . , (Cm, Cm) be a sequence of ordered pairs of 2CNF clauses chosen uniformly at random (with repetition) from the set of all 4 n 2 clauses on n variab...
103
click to vote
ICPPW
2009
IEEE
14 years 8 months ago
2009
IEEE
In this paper we address the problem of global real-time periodic scheduling on heterogeneous multiprocessor platforms. We give a solution based on a constraint satisfaction proble...
104
click to vote
ICRA
2007
IEEE
15 years 5 months ago
2007
IEEE
— This paper presents a novel whole body motion estimation method by fitting a deformable articulated model of the human body into the 3D reconstructed volume obtained from mult...