2940 search results - page 229 / 588 » Relational Parametricity and Control |
155
click to vote
ICCAD
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, we propose a high-level variable selection for partial-scan approach to improve the testability of digital systems. The testability of a design is evaluated at the ...
165
click to vote
VISUALIZATION
1992
IEEE
15 years 10 months ago
1992
IEEE
We describe an implementation of a virtual environment for visualizing the geometry of curved spacetime by the display of interactive geodesics. This technique displays the paths ...
184
click to vote
ECRTS
2007
IEEE
15 years 10 months ago
2007
IEEE
It is well known that the performance of computer controlled systems is heavily affected by delays and jitter occurring in the control loops, which are mainly caused by the interf...
176
click to vote
CINQ
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...
155
click to vote
ICANN
2010
Springer
15 years 7 months ago
2010
Springer
Visual recognition faces the difficult problem of recognizing objects despite the multitude of their appearances. Ample neuroscientific evidence shows that the cortex uses a topogr...