759 search results - page 150 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
CVPR
2006
IEEE
14 years 7 months ago
2006
IEEE
The paper describes a simple but robust framework for visual object tracking in a video sequence. Compared with the existing tracking techniques, our proposed tracking technique h...
CHI
2007
ACM
14 years 5 months ago
2007
ACM
We present ExperiScope, an analytical tool to help designers and experimenters explore the results of quantitative evaluations of interaction techniques. ExperiScope combines a ne...
ICCD
2008
IEEE
14 years 2 months ago
2008
IEEE
— Verification remains an integral and crucial phase of today’s microprocessor design and manufacturing process. Unfortunately, with soaring design complexities and decreasing...
CCS
2009
ACM
14 years 2 days ago
2009
ACM
A power grid is a complex system connecting electric power generators to consumers through power transmission and distribution networks across a large geographical area. System mo...
ICASSP
2009
IEEE
14 years 1 days ago
2009
IEEE
—Spectrum access is an important function of cognitive radios for detecting and utilizing spectrum holes without harming the legacy systems. In this paper, we propose novel coope...