5154 search results - page 298 / 1031 » Computing and using residuals in time series models |
211
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
A system that performs the tracking of a human head in 3D in real time is presented. The head shape is modeled by an ellipse with a trained color histogram of skin and hair sample...
194
click to vote
FSTTCS
2009
Springer
16 years 2 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
211
click to vote
HPDC
1999
IEEE
15 years 12 months ago
1999
IEEE
We present a performance-based methodology for designing a high-bandwidth radar application on commodity platforms. Unlike many real-time systems, our approach works for commodity...
188
click to vote
ENTCS
2006
15 years 7 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...
195
click to vote
UML
2005
Springer
16 years 1 months ago
2005
Springer
Developing user interfaces for ubiquitous environments is a challenging task. In such an environment, users can apply different devices to accomplish the same or different tasks. ...