816 search results - page 51 / 164 » SAT-Based Image Computation with Application in Reachability... |
280
click to vote
ICCV
2009
IEEE
15 years 3 months ago
2009
IEEE
We present a novel representation for modeling textured regions subject to smooth variations in orientation and scale. Utilizing the steerable pyramid of Simoncelli and Freeman as...
149
click to vote
ICIP
2007
IEEE
16 years 7 months ago
2007
IEEE
Automatic record and review of actions in sports training sessions is of great benefit to both coach and athlete. Many coaching sessions involve repetition of particular actions t...
222
click to vote
TSE
2011
15 years 1 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
139
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
Automatic classification of an image as a photograph of a real-scene or as a painting is potentially useful for image retrieval and website filtering applications. The main contri...
145
click to vote
CCGRID
2007
IEEE
16 years 15 days ago
2007
IEEE
Image analysis is an important component of neuroscience research. The ICT infrastructure and technical knowledge needed to perform (large scale) neuroimaging studies, however, is...