1716 search results - page 124 / 344 » Generating models for temporal representations |
149
Voted
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
A robust video object segmentation algorithm for complex conditions in surveillance systems is proposed in this paper. This algorithm contains an unsupervised K-Means background c...
135
click to vote
LISP
2008
15 years 3 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
137
click to vote
SI3D
2003
ACM
15 years 9 months ago
2003
ACM
Interruptible rendering is a novel approach to the fidelity-versusperformance tradeoff ubiquitous in real-time rendering. Interruptible rendering unifies spatial error, caused by ...
149
click to vote
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
Test model generation is crucial in the test generation process of a high-performance design targeted for large volume production. A key process in test model generation requires ...
123
click to vote
WSC
1996
15 years 5 months ago
1996
Construction operations are often repetitive not only in terms of time (the same tasks are performed over and over) but also in terms of space (the same tasks are repeated at seve...