1671 search results - page 40 / 335 » Semantics Through Pictures |
FM
2003
Springer
14 years 25 days ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
COSIT
2001
Springer
14 years 3 days ago
2001
Springer
The Renaissance architect, moral philosopher, cryptographer, mathematician, Papal adviser, painter, city planner and land surveyor Leon Battista Alberti provided the theoretical fo...
HT
2007
ACM
13 years 11 months ago
2007
ACM
Bitmapping is an art exhibition that seeks to create a linear story path through a collection of photographs. Bitmapping sends registered participants an image to their mobile pho...
ICAT
2003
IEEE
14 years 27 days ago
2003
IEEE
One of the key technologies for one-to-many visual communication is panoramic stereo, in which stereoscopic images for arbitrary horizontal directions are presented to multiple us...
ICTAI
2003
IEEE
14 years 27 days ago
2003
IEEE
This paper presents an approach to human-agent mixed teams for distributed team training, demonstrated through the integration of the domain independent multiagent architecture CA...