3742 search results - page 717 / 749 » On the Use of Formal Techniques for Validation |
151
click to vote
CVPR
2008
IEEE
16 years 4 months ago
2008
IEEE
Given an object model and a black-box measure of similarity between the model and candidate targets, we consider visual object tracking as a numerical optimization problem. During...
105
click to vote
VIS
2004
IEEE
16 years 3 months ago
2004
IEEE
Determining the three-dimensional structure of distant astronomical objects is a challenging task, given that terrestrial observations provide only one viewpoint. For this task, b...
118
click to vote
DAC
2008
ACM
16 years 3 months ago
2008
ACM
In modular testing of system-on-a-chip (SoC), test access mechanisms (TAMs) are used to transport test data between the input/output pins of the SoC and the cores under test. Prio...
112
click to vote
DAC
2004
ACM
16 years 2 months ago
2004
ACM
Circuits using nano-meter technologies are becoming increasingly vulnerable to signal interference from multiple noise sources as well as radiation-induced soft errors. One way to...
119
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Commercial software project managers design project organizational structure carefully, mindful of available skills, division of labour, geographical boundaries, etc. These organi...