1204 search results - page 131 / 241 » Hybrid Probabilistic Programs |
109
Voted
JAR
2002
15 years 14 days ago
2002
Abstract. Can theorem proving in mathematical logic be addressed by classical mathematical techniques like the calculus of variations? The answer is surprisingly in the affirmative...
101
Voted
ICIP
1994
IEEE
16 years 2 months ago
1994
IEEE
In this paper, we develop a Bayesian feedback method for incorporating global structure into prior models for binocular stereopsis. Since most stereo scenes contain either backgro...
155
Voted
IJCNLP
2005
Springer
15 years 6 months ago
2005
Springer
We present a method of chunking in Korean texts using conditional random fields (CRFs), a recently introduced probabilistic model for labeling and segmenting sequence of data. In a...
122
click to vote
ICPR
2000
IEEE
15 years 5 months ago
2000
IEEE
Retrieval techniques based on pure similarity metrics are often suffered from the scales of image features. An alternative approach is to learn a mapping based on queries and rele...
97
Voted
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...