3028 search results - page 162 / 606 » Integrating Temporal Logics |
205
click to vote
CVPR
2004
IEEE
16 years 9 months ago
2004
IEEE
We model the dynamic geometry of a time-varying scene as a 3D isosurface in space-time. The intersection of the isosurface with planes of constant time yields the geometry at a si...
187
click to vote
ICASSP
2007
IEEE
16 years 1 months ago
2007
IEEE
We develop a general framework to automatically match electronic slides to the videos of corresponding presentations. Applications include supporting indexing and browsing of educ...
171
Voted
RSP
2005
IEEE
16 years 20 days ago
2005
IEEE
For cost-effective prototyping, system designers should have a clear understanding of the intended use of the prototype under development. This paper describes a classification of...
153
click to vote
CGF
2010
15 years 7 months ago
2010
We present an automatic image-recoloring technique for enhancing color contrast for dichromats whose computational cost varies linearly with the number of input pixels. Our approa...
198
click to vote
TSMC
2010
15 years 1 months ago
2010
Abstract--This paper presents a dynamic predictiveoptimization framework of a nonlinear temporal process. Datamining (DM) and evolutionary strategy algorithms are integrated in the...