6020 search results - page 70 / 1204 » A New Approach to Model Counting |
124
Voted
ICIP
2005
IEEE
16 years 5 months ago
2005
IEEE
Multidimensional Amplitude-Modulation Frequency - Modulation (AM-FM) models allow us to describe continuousscale modulations in digital images. AM-FM models have led to a wide ran...
158
Voted
ASPDAC
2001
ACM
15 years 7 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
148
Voted
TMI
1998
15 years 3 months ago
1998
— When performing dynamic studies using emission tomography the tracer distribution changes during acquisition of a single set of projections. This is particularly true for some ...
105
click to vote
ECCV
2006
Springer
16 years 5 months ago
2006
Springer
Several state-of-the-art Generic Visual Categorization (GVC) systems are built around a vocabulary of visual terms and characterize images with one histogram of visual word counts....
151
Voted
ICIP
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a computer vision system that associates omnidirectional vision with structured light with the aim of obtaining depth information for a 360 degrees field of view.The a...