1880 search results - page 303 / 376 » A Static Analysis for Beta-Binders |
184
click to vote
ECCV
2000
Springer
16 years 7 months ago
2000
Springer
Abstract. This paper extends the recovery of structure and motion to image sequences with several independently moving objects. The motion, structure, and camera calibration are al...
308
Voted
ICDE
1999
IEEE
16 years 7 months ago
1999
IEEE
OLAP systems support data analysis through a multidimensional data model, according to which data facts are viewed as points in a space of application-related dimensions", or...
134
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper presents a novel technique to fill in missing background and moving foreground of a video captured by a static or moving camera. Different from previous efforts which a...
179
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
A SystemC simulation kernel consists of a deterministic implementation of the scheduler, whose specification is nondeterministic. To leverage testing of a SystemC TLM design, we f...
174
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Soft errors, once only of concern in memories, are beginning to affect logic as well. Determining the soft error rate (SER) of a combinational circuit involves three main masking ...