11160 search results - page 146 / 2232 » Incompleteness in a General Setting |
122
click to vote
CORR
2011
Springer
14 years 7 months ago
2011
Springer
Hybrid learning methods use theoretical knowledge of a domain and a set of classified examples to develop a method for classification. Methods that use domain knowledge have been ...
139
click to vote
SBMF
2010
Springer
14 years 7 months ago
2010
Springer
A notion of generalized regular expressions for a large class of systems modeled as coalgebras, and an analogue of Kleene's theorem and Kleene algebra, were recently proposed ...
121
Voted
IGPL
2011
14 years 4 months ago
2011
We extend the lattice embedding of the axiomatic extensions of the positive fragment of intuitionistic logic into the axiomatic extensions of intuitionistic logic to the setting of...
176
click to vote
PR
2011
14 years 3 months ago
2011
One of the main shortcomings of Markov chain Monte Carlo samplers is their inability to mix between modes of the target distribution. In this paper we show that advance knowledge ...
82
Voted
ECCV
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. We present an approach for the dynamic combination of multiple cues in a particle filter-based tracking framework. The proposed algorithm is based on a combination of dem...