1974 search results - page 184 / 395 » Conditional Purchase Orders |
156
click to vote
ICRA
1994
IEEE
15 years 10 months ago
1994
IEEE
Precise teleoperation of deztrous robotic hands by hand masters requires an accurate human hand model. A kinematic model of a human index finger is developed as an example for hum...
154
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
- This paper describes a symbolic formulation that allows incorporation of speculative operation execution (preexecution) in an exact control-dependent scheduling of arbitrary forw...
147
click to vote
FIWAC
1993
15 years 10 months ago
1993
Systems (Extended Abstract) Noga Alon ∗ Benny Sudakov Department of Mathematics Raymond and Beverly Sackler Faculty of Exact Sciences Tel Aviv University, Tel Aviv, Israel A dis...
178
click to vote
LOPSTR
1994
Springer
15 years 10 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
171
click to vote
PEPM
1994
ACM
15 years 10 months ago
1994
ACM
First-order projection-based binding-time analysis has proven genuinely useful in partial evaluation Lau91a, Lau91c]. There have been three notable generalisations of projection-b...