2165 search results - page 64 / 433 » cases 2005 |
104
click to vote
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
A novel, nonlinear algorithm is introduced for the estimation of rigid camera motion from instantaneous velocity measurements in the calibrated case. It is shown that by minimizin...
102
Voted
CADE
2005
Springer
16 years 3 months ago
2005
Springer
We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is...
106
Voted
DIGRA
2005
Springer
15 years 9 months ago
2005
Springer
A case study of a game design project is presented, in which both traditional game goals and educational goals exist. One way to create a design that respects both sets of goals i...
147
Voted
ESA
2005
Springer
15 years 9 months ago
2005
Springer
We present two polynomial-time approximation algorithms for the metric case of the maximum traveling salesman problem. One of them is for directed graphs and its approximation rat...
107
click to vote
FPL
2005
Springer
15 years 9 months ago
2005
Springer
We present experimental evidence that multiple compute-units, compiled from sequential high-level language input programs, can be merged into a reduced number of configurations f...