1029 search results - page 47 / 206 » Compact representations of ordered sets |
102
Voted
ALT
2010
Springer
15 years 4 months ago
2010
Springer
We are studying long term sequence prediction (forecasting). We approach this by investigating criteria for choosing a compact useful state representation. The state is supposed t...
173
Voted
ICPR
2008
IEEE
16 years 3 months ago
2008
IEEE
In this paper, we propose volume based local Gabor binary patterns (V-LGBP) for face representation and recognition. In our method, the Gabor feature set of each gray image is reg...
128
Voted
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
Higher-order recursion schemes are systems of rewrite rules on typed non-terminal symbols, which can be used to define infinite trees. The Global Modal Mu-Calculus Model Checking...
141
Voted
LFCS
2009
Springer
15 years 9 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
124
Voted
AAAI
2008
15 years 5 months ago
2008
Unifying first-order logic and probability is a long-standing goal of AI, and in recent years many representations combining aspects of the two have been proposed. However, infere...