289 search results - page 16 / 58 » A Tour with Constructive Real Numbers |
ALIFE
2004
13 years 8 months ago
2004
Toys and play-things are often engineered to replicate the character of real organisms. In the past, inventors often lavished great expense on their life-like automata, their cons...
3PGCIC
2010
13 years 6 months ago
2010
Using a car driving simulator, we can observe drivers' behaviors in dangerous situations safely. We constructed an immersive car driving simulator. We conducted an experiment ...
CORR
2012
Springer
12 years 4 months ago
2012
Springer
Abstract. Let R be a real closed field and D ⊂ R an ordered domain. We give an algorithm that takes as input a polynomial Q ⊂ D[X1, . . . , Xk], and computes a description of ...
CGI
2003
IEEE
14 years 13 days ago
2003
IEEE
This paper presents a system to analyze the reachability of the human body. The inverse kinematics technique is employed to find which regions of space are reachable using a certa...
SAC
2011
ACM
12 years 11 months ago
2011
ACM
Slice sampling provides an easily implemented method for constructing a Markov chain Monte Carlo (MCMC) algorithm. However, slice sampling has two major drawbacks: (i) it requires...