3954 search results - page 598 / 791 » Image-based Model Completion |
134
Voted
GLVLSI
2009
IEEE
15 years 10 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
113
click to vote
ICASSP
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we study the problem of recognizing an unknown probability density function from one of its sample which is of interest in signal and image processing or telecommun...
125
click to vote
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
With the increased availability of pen-based devices, it becomes interesting to conduct and to archive multi-party communication sessions that involve audio and digital ink on a s...
220
click to vote
P2P
2009
IEEE
15 years 10 months ago
2009
IEEE
—Characterizing user churn has become an important topic in studying P2P networks, both in theoretical analysis and system design. Recent work [26] has shown that direct sampling...
148
Voted
RTSS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Many embedded platforms consist of a heterogeneous collection of processing elements, memory modules, and communication subsystems. These components often implement diff...