6704 search results - page 1004 / 1341 » Testing Scenario-Based Models |
155
Voted
EMMCVPR
2009
Springer
15 years 8 months ago
2009
Springer
An edge-sensitive variational approach for the restoration of optical flow fields is presented. Real world optical flow fields are frequently corrupted by noise, reflection artifac...
186
click to vote
CCGRID
2004
IEEE
15 years 8 months ago
2004
IEEE
Distributed computing middleware needs to support a wide range of resources, such as diverse software components, various hardware devices, and heterogeneous operating systems and...
158
click to vote
ATVA
2006
Springer
15 years 8 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
138
Voted
DAGM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. When an object moves, it covers and uncovers texture in the background. This pattern of change is sufficient to define the object's shape, velocity, relative depth, ...
152
Voted
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...