787 search results - page 14 / 158 » Fully procedural graphics |
CADE
2005
Springer
14 years 7 months ago
2005
Springer
We present a fully proof-producing implementation of a quantifier elimination procedure for real closed fields. To our knowledge, this is the first generally useful proof-producing...
CLUSTER
2007
IEEE
14 years 1 months ago
2007
IEEE
— The concept of Remote Procedure Call (RPC) was proposed more than 30 years ago. Although various RPC systems have been studied and implemented, the existing RPC systems lack ma...
CI
2005
13 years 6 months ago
2005
Autonomous agents that learn about their environment can be divided into two broad classes. One class of existing learners, reinforcement learners, typically employ weak learning ...
CADE
2004
Springer
14 years 7 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
CHI
2008
ACM
14 years 7 months ago
2008
ACM
This paper describes a project that uses real-world computer-troubleshooting scenarios to test and expand upon the latest research and technical knowledge in the area of procedura...