1626 search results - page 281 / 326 » Computing the Types of the Relationships between Autonomous ... |
146
Voted
SPIN
2005
Springer
15 years 10 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...
157
click to vote
CIVR
2010
Springer
15 years 2 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...
153
click to vote
DFG
2009
Springer
15 years 12 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 ...
161
click to vote
FM
2006
Springer
15 years 9 months 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...
163
click to vote
ICCV
2005
IEEE
16 years 7 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...