747 search results - page 63 / 150 » An Alternative Representation for QBF |
CADE
2006
Springer
16 years 6 days ago
2006
Springer
This paper presents new classes of tree automata combining automata with equality test and automata modulo equational theories. We believe that these classes have a good potential ...
106
click to vote
CVPR
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper addresses the challenge of recognizing dynamic
textures based on their observed visual dynamics.
Typically, the term dynamic texture is used with reference
to image s...
RSFDGRC
2009
Springer
15 years 6 months ago
2009
Springer
A new clustering strategy is proposed based on interval sets, which is an alternative formulation different from the ones used in the existing studies. Instead of using a single s...
ICIP
2007
IEEE
15 years 6 months ago
2007
IEEE
In digital image display devices, data are typically presented via a spatial subsampling procedure implemented as a color filter array, a physical construction whereby each light...
ISMVL
2007
IEEE
15 years 6 months ago
2007
IEEE
Stochastic computation is a new alternative approach for iterative computation on factor graphs. In this approach, the information is represented by the statistics of the bit stre...