1939 search results - page 23 / 388 » Dynamic Lex Constraints |
77
Voted
IJIPM
2010
15 years 22 days ago
2010
131
click to vote
ESOP
1992
Springer
15 years 7 months ago
1992
Springer
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...
138
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— We explore the control synthesis problem for a robot dynamically manipulating an object in the presence of multiple frictional contacts. Contacts occur both between the object ...