215 search results - page 22 / 43 » Church-Rosser Made Easy |
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
— Despite the many significant advances made in robotics research, few works have focused on the tight integration of task planning and motion control. Most integration works in...
103
click to vote
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...
106
click to vote
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
CHI
2000
ACM
15 years 4 months ago
2000
ACM
Pen-based user interfaces are becoming ever more popular. Gestures (i.e., marks made with a pen to invoke a command) are a valuable aspect of pen-based UIs, but they also have dra...
109
click to vote
MM
2000
ACM
15 years 4 months ago
2000
ACM
The increase of bandwidth and streaming technology has made video on the Web the current “killer-app” of the dot-com world. However, users still face many problems. Users have...