1677 search results - page 103 / 336 » On the Completeness of Quantum Computation Models |
114
click to vote
MASCOTS
2010
15 years 3 months ago
2010
In this paper, we develop a queuing theory based analytical model to evaluate the performance of transactional memory. Based on the statistical characteristics observed on actual e...
113
Voted
ICRA
2009
IEEE
14 years 11 months ago
2009
IEEE
Abstract-- We present in this paper a way to achieve positioning tasks by visual servoing under complex luminance variations. To do that, we use as visual features the luminance of...
115
click to vote
ACSC
2008
IEEE
15 years 8 months ago
2008
IEEE
Modern computer systems are based on the traditional hierarchical file system model, but typically contain large numbers of files with complex interrelationships. This tradition...
110
click to vote
ICRA
2005
IEEE
15 years 7 months ago
2005
IEEE
— Robotic motion planning requires configuration space exploration. In high-dimensional configuration spaces, a complete exploration is computationally intractable. Practical m...
100
click to vote
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
We consider the problem of checking whether an incomplete design can still be extended to a complete design satisfying a given CTL formula and whether the property is satisfied fo...