9405 search results - page 177 / 1881 » Computing a Model of Set Theory |
124
click to vote
ER
2004
Springer
15 years 8 months ago
2004
Springer
Our goal is to model the way people induce knowledge from rare and sparse data. This paper describes a theoretical framework for inducing knowledge from these incomplete data descr...
105
Voted
JCB
1998
15 years 3 months ago
1998
We introduce a new model of molecular computation that we call the sticker model. Like many previous proposals it makes use of DNA strands as the physical substrate in which infor...
135
Voted
CLIMA
2004
15 years 4 months ago
2004
In this paper we propose a formal specification of a persuasion protocol between autonomous agents using an approach based on social commitments and arguments. In order to be flexi...
115
click to vote
ICIP
2010
IEEE
15 years 1 months ago
2010
IEEE
We tackle the challenge of kinship verification using novel feature extraction and selection methods, automatically classifying pairs of face images as "related" or &quo...
142
Voted
STACS
2001
Springer
15 years 7 months ago
2001
Springer
Coalgebras for a functor on the category of sets subsume many formulations of the notion of transition system, including labelled transition systems, Kripke models, Kripke frames a...