4520 search results - page 212 / 904 » Algebraic Techniques for Timed Systems |
223
click to vote
MICCAI
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Stereotactic techniques are prevalent in neurosurgery. A fundamental assumption of stereotaxis is that the brain is a rigid body. It has been demonstrated, however, that ...
205
click to vote
IJCV
2006
15 years 7 months ago
2006
Variational methods are among the most accurate techniques for estimating the optic flow. They yield dense flow fields and can be designed such that they preserve discontinuities, ...
179
click to vote
ATS
2003
IEEE
16 years 14 days ago
2003
IEEE
Capacitive crosstalk can give rise to slowdown of signals that can propagate to a circuit output and create a functional error. A test generation methodology, called XGEN, was dev...
218
click to vote
LICS
1998
IEEE
15 years 10 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
159
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
We present some examples of extensions for C-XSC that have been developed lately. Among these are extensions that give access to further hardware and software environments as well ...