9405 search results - page 136 / 1881 » Computing a Model of Set Theory |
76
Voted
JHSN
2002
14 years 9 months ago
2002
A computer network consists of a set of computing nodes interconnected via communication channels. It is commonly assumed that, for each pair of network nodes u and v, there is at...
TPLP
2008
14 years 10 months ago
2008
We present in this paper a first-order axiomatization of an extended theory T of finite or infinite trees, built on a signature containing an infinite set of function symbols and ...
COMPGEOM
2005
ACM
15 years 2 days ago
2005
ACM
An open question in Exact Geometric Computation is whether there are transcendental computations that can be made “geometrically exact”. Perhaps the simplest such problem in c...
FLAIRS
2000
14 years 11 months ago
2000
Thecurrent frameworkfor constructing intelligent tutoring systems(ITS) is to use psychological/pedagogical theories of learning, and encode this knowledgeinto the tutor. However,t...
AAAI
1990
14 years 11 months ago
1990
Although computers are widely used to simulate complex physical systems, crafting the underlying models that enable computer analysis remains difficult. When a model is created fo...