833 search results - page 116 / 167 » Digitization Projects in Spain |
POPL
1991
ACM
14 years 6 days ago
1991
ACM
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
ACMACE
2008
ACM
13 years 10 months ago
2008
ACM
The shadow agent is a new type of intelligent virtual agent exploiting the metaphor of the shadow as a medium. The core of the shadow agent is a behavioral architecture inspired b...
ACMDIS
2008
ACM
13 years 10 months ago
2008
ACM
The StoryBank project is examining technologies and practices to allow digitally impoverished communities to take part in the user-generated content revolution. The approach invol...
CIVR
2008
Springer
13 years 10 months ago
2008
Springer
The amount of available digital multimedia has seen exponential growth in recent years. While advances have been made in the indexing and searching of images and videos, less focu...
BILDMED
2007
13 years 10 months ago
2007
To assure a correct position and orientation of the patient’s eye in radiation treatment, a new approach in image-guided radiotherapy is used to determine the misalignment of the...