9405 search results - page 1476 / 1881 » Computing a Model of Set Theory |
204
click to vote
GRAPHICSINTERFACE
2001
15 years 8 months ago
2001
Weathering phenomena represent a topic of growing interest in computer graphics, and corrosion reactions are of great importance since they affect a large number of different fiel...
180
click to vote
WSC
2004
15 years 8 months ago
2004
Stream Option Manager (SOM) is a set of mathematical tools developed at The MITRE Corporation's Center for Advanced Aviation System Development (CAASD). While still under dev...
166
click to vote
NIPS
1998
15 years 8 months ago
1998
A common way to represent a time series is to divide it into shortduration blocks, each of which is then represented by a set of basis functions. A limitation of this approach, ho...
211
click to vote
DAGSTUHL
1997
15 years 8 months ago
1997
A realistic simulation system, which couples geometry and physics, can provide a useful toolkit for virtual environments. Interactions among moving objects in the virtual worlds a...
203
click to vote
AAAI
1996
15 years 8 months ago
1996
We present a connectionist architecture that supports almost instantaneous deductive and abductive reasoning. The deduction algorithm responds in few steps for single rule queries...