325 search results - page 62 / 65 » Thinking with external representations |
PLDI
2003
ACM
14 years 29 days ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
ICRA
2002
IEEE
14 years 19 days ago
2002
IEEE
This article presents a new approach to movement planning, on-line trajectory modiļ¬cation, and imitation learning by representing movement plans based on a set of nonlinear diļ¬...
IWVF
2001
Springer
14 years 4 days ago
2001
Springer
Volumetric images of small mortar samples under load are acquired by X-ray microtomography. The images are binarized at many different threshold values, and over a million connecte...
WIA
2001
Springer
14 years 4 days ago
2001
Springer
A formal device is said to be adaptive whenever its behavior changes dynamically, in a direct response to its input stimuli, without interference of external agents, even its user...
VRML
1999
ACM
14 years 11 hour ago
1999
ACM
This paper presents our work and research findings on developing the concept of a multi-user shared environment for culture, performance, art and entertainment. It introduces arti...