2070 search results - page 335 / 414 » A Reduced-Basis Element Method |
ICRA
1993
IEEE
14 years 3 months ago
1993
IEEE
Force control implemented by a passive mechanical device (perhaps a wrist) has inherent advantages over active implementations. A passive mechanical device can regain some of the ...
FPCA
1989
14 years 3 months ago
1989
Bounded quantification was introduced by Cardelli and Wegner as a means of typing functions that operate uniformly over all subtypes of a given type. They defined a simple “ob...
COCO
2007
Springer
14 years 3 months ago
2007
Springer
Current constructions of efficient argument systems combine a short (polynomial size) PCP with a cryptographic hashing technique. We suggest an alternative approach for this probl...
GLVLSI
2007
IEEE
14 years 2 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
3DPVT
2004
IEEE
14 years 2 months ago
2004
IEEE
Computer graphics cameras lack the finite Depth of Field (DOF) present in real world ones. This results in all objects being rendered sharp regardless of their depth, reducing the...