5154 search results - page 173 / 1031 » Computing and using residuals in time series models |
228
click to vote
RTSS
2005
IEEE
16 years 21 days ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
221
click to vote
SCALESPACE
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we introduce a semi-automated segmentation method based on minimizing the Geodesic Active Contour energy incorporating a shape prior. We increase the robustness of t...
216
click to vote
TVCG
2010
15 years 5 months ago
2010
— Obtaining models of dynamic 3D objects is an important part of content generation for computer graphics. Numerous methods have been extended from static scenarios to model dyna...
232
click to vote
ECCV
2006
Springer
16 years 9 months ago
2006
Springer
One main challenge in Augmented Reality (AR) applications is to keep track of video objects with their movement, orientation, size, and position accurately. This poses a challengin...
199
click to vote
MACH
1990
15 years 8 months ago
1990
Distributed real-time systems play a very important role in our modern society. They are used in aircraft control, communication systems, military command and control systems, fac...