1087 search results - page 88 / 218 » Generation under Space Constraints |
147
click to vote
ILP
2005
Springer
15 years 10 months ago
2005
Springer
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
149
click to vote
IJCV
2007
15 years 4 months ago
2007
We present a novel approach for the estimation of 3D-motion directly from two images using the Radon transform. The feasibility of any camera motion is computed by integrating over...
197
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
In this paper we study the human eye movement and the head movement system as a simple mechanical control system. Most of the time, eye movements obey Listing's constraint, wh...
145
click to vote
TROB
2002
15 years 4 months ago
2002
This paper uses a configuration space ( -space) based method to compute interference-free configuration for stacking polyhedral sheet metal parts. This work forms the interference ...
144
click to vote
DAC
1997
ACM
15 years 8 months ago
1997
ACM
The concept of improving the timing behavior of a circuit by relocating flip-flops is called retiming and was first presented by Leiserson and Saxe. The ASTRA algorithm propose...