10890 search results - page 217 / 2178 » Automatic Complexity Analysis |
174
click to vote
ISORC
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper deals with the automatic dependability analysis of systems designed using UML. An automatic transformations is defined for the generation of models to capture systems d...
190
click to vote
SCIA
2009
Springer
16 years 1 months ago
2009
Springer
We study the usefulness of intermediate semantic concepts in bridging the semantic gap in automatic video retrieval. The results of a series of large-scale retrieval experiments, w...
152
click to vote
CSFW
2003
IEEE
15 years 11 months ago
2003
IEEE
We perform a systematic expansion of protocol narrations into terms of a process algebra in order to make precise some of the detailed checks that need to be made in a protocol. W...
166
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Multiscale, i.e. scale-space image analysis is a powerful framework for many image processing tasks. A fundamental issue with such scale-space techniques is the automatic selectio...
155
click to vote
ICRA
2006
IEEE
16 years 16 days ago
2006
IEEE
— This paper presents a new technique to estimate the extrinsic parameters of a robot-vision sensor system. More in general, this technique can be adopted to calibrate any robot ...