9405 search results - page 72 / 1881 » Computing a Model of Set Theory |
102
click to vote
AAAI
1993
15 years 4 months ago
1993
Formal AI systems traditionally represent knowledge using logical formulas. We will show, however, that for certain kinds of information, a modelbased representation is more compa...
126
click to vote
ICDCS
2007
IEEE
15 years 7 months ago
2007
IEEE
We consider a model for decentralized collaborative networks that is based on stable matching theory. This model is applied to systems with a global ranking utility function, whic...
104
click to vote
SPAA
1998
ACM
15 years 7 months ago
1998
ACM
We present a computation-centric theory of memory models. Unlike traditional processor-centric models, computation-centric models focus on the logical dependencies among instructi...
115
click to vote
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
119
click to vote
EUSFLAT
2001
15 years 4 months ago
2001
One of the biggest problems in computer vision systems, analyzing images having high uncertainty/vagueness degree, is the treatment of such uncertainty. This problem is even clear...