8828 search results - page 1673 / 1766 » Formal methods in practice |
118
click to vote
IJCAI
2007
15 years 5 months ago
2007
Using the achievements of my research group over the last 30+ years, I provide evidence to support the following hypothesis: By complementing each other, cooperating reasoning pro...
144
Voted
NIPS
2008
15 years 5 months ago
2008
CAPTCHAs are computer-generated tests that humans can pass but current computer systems cannot. CAPTCHAs provide a method for automatically distinguishing a human from a computer ...
159
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
Abstract. "Cognitive computer vision is concerned with integration and control of vision systems using explicit but not necessarily symbolic models of context, situation and g...
168
Voted
SDM
2004
SIAM
15 years 5 months ago
2004
SIAM
Several application domains such as molecular biology and geography produce a tremendous amount of data which can no longer be managed without the help of efficient and effective ...
155
click to vote
IJCAI
2003
15 years 5 months ago
2003
Dynamic Bayesian networks (DBNs) offer an elegant way to integrate various aspects of language in one model. Many existing algorithms developed for learning and inference in DBNs ...