11436 search results - page 211 / 2288 » Modeling Real Reasoning |
136
click to vote
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...
114
click to vote
CSB
2004
IEEE
15 years 7 months ago
2004
IEEE
Ascertaining the similarity amongst molecules is a fundamental problem in biology and drug discovery. Since similar molecules tend to have similar biological properties, the notio...
115
click to vote
EUROCAST
2005
Springer
15 years 8 months ago
2005
Springer
Convergence is a central problem in both computer science and in population biology. Will a program terminate? Will a population go to an equilibrium? In general these questions ar...
113
click to vote
NIPS
2003
15 years 4 months ago
2003
We describe a system that localizes a single dipole to reasonable accuracy from noisy magnetoencephalographic (MEG) measurements in real time. At its core is a multilayer perceptr...
131
click to vote
JASIS
2011
14 years 10 months ago
2011
This paper aims to review the fiercely discussed question of whether the ranking of Wikipedia articles in search engines is justified by the quality of the articles. After an over...