4666 search results - page 548 / 934 » Equations on Timed Languages |
213
click to vote
EMSOFT
2008
Springer
15 years 9 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
379
click to vote
CVPR
2005
IEEE
17 years 4 months ago
2005
IEEE
"In this paper, we present a new variational formulation for geometric active contours that forces the level set function to be close to a signed distance function, and theref...
258
click to vote
ICCV
2007
IEEE
16 years 9 months ago
2007
IEEE
This paper presents a method for scene flow estimation from a calibrated stereo image sequence. The scene flow contains the 3-D displacement field of scene points, so that the 2-D...
212
click to vote
IPMI
2005
Springer
16 years 8 months ago
2005
Springer
Spherical navigators are an attractive approach to motion compensation in Magnetic Resonance Imaging. Because they can be acquired quickly, spherical navigators have the potential ...
197
click to vote
CHI
2007
ACM
16 years 8 months ago
2007
ACM
The paper describes an approach to modeling the strategic variations in performing secondary tasks while driving. In contrast to previous efforts that are based on simulation of a...