9405 search results - page 269 / 1881 » Computing a Model of Set Theory |
125
click to vote
SEFM
2003
IEEE
15 years 9 months ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
130
click to vote
DAS
2008
Springer
15 years 6 months ago
2008
Springer
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
167
click to vote
DKE
2010
15 years 4 months ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
124
click to vote
HEURISTICS
1998
15 years 4 months ago
1998
In this paper we present a genetic algorithm-based heuristic for solving the set partitioning problem (SPP). The SPP is an important combinatorial optimisation problem used by man...
130
click to vote
CG
2002
Springer
15 years 4 months ago
2002
Springer
It is a major source of contention in brain dynamics as to whether the electrical rhythms of the brain show signs of chaos. Here we discuss evidence for the existence of chaos in ...