9405 search results - page 71 / 1881 » Computing a Model of Set Theory |
130
Voted
ALIFE
1999
15 years 5 months ago
1999
Gaia theory, which states that organisms both affect and regulate their environment, poses an interesting problem to Neo-Darwinian evolutionary biologists and provides an exciting ...
158
Voted
ICALP
2007
Springer
16 years 9 days ago
2007
Springer
Gaifman’s locality theorem states that every first-order sentence is equivalent to a local sentence. We show that there is no elementary bound on the length of the local sentenc...
161
Voted
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we articulate a new modeling paradigm for both local and global editing on complicated point set surfaces of arbitrary topology. In essence, the proposed technique l...
145
Voted
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
154
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
ACT We present ongoing research on large-scale decision models in which there are many invested individuals. We apply our unique Bayesian belief aggregation approach to decision pr...