400 search results - page 19 / 80 » Moving Proofs-As-Programs into Practice |
DOCENG
2006
ACM
14 years 1 months ago
2006
ACM
With the advent of XML we have seen a renewed interest in methods for computing the difference between trees. Methods that include heuristic elements play an important role in pr...
ISPASS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— Network processing is becoming an increasingly important paradigm as the Internet moves towards an architecture with more complex functionality inside the network. Mode...
HUC
2005
Springer
14 years 1 months ago
2005
Springer
With the ubiquity of camera phones, it is now possible to capture digital still and moving images anywhere, raising a legitimate concern for many organizations and individuals. Alt...
ICRA
2003
IEEE
14 years 24 days ago
2003
IEEE
— As people move through their environments, they do not move randomly. Instead, they are often engaged in typical motion patterns, related to specific locations they might be i...
ICRA
2003
IEEE
14 years 24 days ago
2003
IEEE
- Moving a crowd of robots or avatars from their current configurations to some destination area without causing collisions is a challenging motion-planning problem because the hig...