1939 search results - page 23 / 388 » Dynamic Lex Constraints |
KI
2010
Springer
13 years 6 months ago
2010
Springer
ICTAI
2010
IEEE
13 years 4 months ago
2010
IEEE
The abstract goes here.
IJIPM
2010
13 years 4 months ago
2010
ESOP
1992
Springer
13 years 11 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...
ICRA
2005
IEEE
14 years 1 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 ...