8337 search results - page 150 / 1668 » Reasoning With Characteristic Models |
183
click to vote
CANDC
2009
ACM
15 years 2 months ago
2009
ACM
Supporting users' reasoned imagination in sense making during interaction with tangible and embedded computation involves supporting the application of their existing mental ...
148
click to vote
LICS
2010
IEEE
15 years 2 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...
129
click to vote
CSB
2004
IEEE
15 years 8 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...
140
Voted
JASIS
2011
14 years 11 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...
110
click to vote
CORR
2011
Springer
14 years 8 months ago
2011
Springer
We study the attribution problem, that is, the problem of attributing a change in the value of a characteristic function f to its independent variables. We make three contributions...