5863 search results - page 793 / 1173 » On Model-Checking of P Systems |
180
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
We present an image retrieval system driven by free-hand sketched queries depicting shape. We introduce Gradient Field HoG (GF-HOG) as a depiction invariant image descriptor, enca...
178
click to vote
ICCV
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a novel Content Based Video Retrieval (CBVR) system, driven by free-hand sketch queries depicting both objects and their movement (via dynamic cues; streak-lines and ar...
188
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
The push toward voting via hand-marked paper ballots has focused attention on the limitations of current optical scan systems. Discrepancies between human and machine interpretati...
189
click to vote
CC
2010
Springer
15 years 4 months ago
2010
Springer
We describe a randomized algorithm that, given an integer a, produces a certificate that the integer is not a pure power of an integer in expected (log a)1+o(1) bit operations unde...
215
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper is concerned with developing an information-theoretic framework to aggregate the state space of a Hidden Markov Model (HMM) on discrete state and observation spaces. The...