1626 search results - page 281 / 326 » Computing the Types of the Relationships between Autonomous ... |
SPIN
2005
Springer
14 years 2 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
CIVR
2010
Springer
13 years 6 months ago
2010
Springer
The automatic detection of near duplicate video segments, such as multiple takes of a scene or different news video clips showing the same event, has received growing research int...
DFG
2009
Springer
14 years 3 months ago
2009
Springer
Social network analysis investigates the structure of relations amongst social actors. A general approach to detect patterns of interaction and to filter out irregularities is to ...
FM
2006
Springer
14 years 10 days ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
ICCV
2005
IEEE
14 years 10 months ago
2005
IEEE
For a large object, scanning from the air is one of the most efficient methods of obtaining 3D data. But in the case of large cultural heritage objects, there are some difficultie...