16 search results - page 3 / 4 » High-Level Observability for Effective High-Level ATPG |
FAC
2000
13 years 6 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
ETRA
2008
ACM
13 years 8 months ago
2008
ACM
Under natural viewing conditions, human observers use shifts in gaze to allocate processing resources to subsets of the visual input. There are many computational models that try ...
IROS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— As robots become more commonplace within society, the need for tools to enable non-robotics-experts to develop control algorithms, or policies, will increase. Learning ...
JMIV
2006
13 years 7 months ago
2006
In medical image analysis and high level computer vision, there is an intensive use of geometric features like orientations, lines, and geometric transformations ranging from simp...
JPDC
2006
13 years 7 months ago
2006
The simulations used in the field of high energy physics are compute intensive and exhibit a high level of data parallelism. These features make such simulations ideal candidates ...