20573 search results - page 4005 / 4115 » The Computer's New Clothes |
ESOP
2000
Springer
14 years 1 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
GECCO
2000
Springer
14 years 1 months ago
2000
Springer
This paper presents an extension to genetic programming to allow the evolution of programs containing local variables with static scope which obey the invariant that all variables...
MICCAI
2000
Springer
14 years 1 months ago
2000
Springer
: We present a simple and precise robot targeting method under portable x-ray fluoroscopy based on image servoing. The method is implemented for needle alignment in percutaneous pr...
VLDB
2000
ACM
14 years 1 months ago
2000
ACM
Strict consistency of replicated data is infeasible or not required by many distributed applications, so current systems often permit stale replication, in which cached copies of ...
KI
1995
Springer
14 years 1 months ago
1995
Springer
The integration of vision and natural languageprocessingincreasingly attracts attention in different areas of AI research. Up to now, however, there have only been a few attempts a...