3337 search results - page 171 / 668 » interactions 2006 |
ENTCS
2006
13 years 8 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
JOI
2008
13 years 8 months ago
2008
The relationship between science and technology has been extensively studied from both theoretical and quantitative perspectives. Quantitative studies typically use patents as pro...
IVC
2007
13 years 8 months ago
2007
ct 7 An increasingly frequent application of Machine Vision technologies is in automated surface inspection for the detection of defects in 8 manufactured products. Such systems oï...
VLC
2008
13 years 8 months ago
2008
Image collections are getting larger and larger. To access those collections, systems for managing, searching, and browsing are necessary. Visualization plays an essential role in...
IJON
2006
13 years 8 months ago
2006
The goal of the visual correspondence problem is to establish a connectivity pattern (a mapping) between two images such that features projected from the same scene point are conn...