805 search results - page 140 / 161 » Solving Consensus Using Structural Failure Models |
ICCV
2007
IEEE
15 years 26 days ago
2007
IEEE
Most 3D reconstruction solutions focus on surfaces, and there has not been much research attention paid to the problem of reconstructing 3D scenes made up of large numbers of part...
CADE
2008
Springer
14 years 11 months ago
2008
Springer
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
ICRA
2005
IEEE
14 years 4 months ago
2005
IEEE
— The paper considers the problem of setting the dimensions of a system of constrained parallel robots to ensure that together they can position an end-effector in a specified s...
PLDI
2003
ACM
14 years 4 months ago
2003
ACM
We compile Nova, a new language designed for writing network processing applications, using a back end based on integer-linear programming (ILP) for register allocation, optimal b...
IRREGULAR
1997
Springer
14 years 3 months ago
1997
Springer
ing with shared data abstractions Simon Dobson1 and Don Goodeve2 1 Well-Founded Systems Unit, CLRC Rutherford Appleton Laboratory, UK 2 School of Computer Studies, University of Le...