11215 search results - page 15 / 2243 » Skeleton - Easy Simulation System |
CADE
1999
Springer
14 years 12 hour ago
1999
Springer
CutRes is a system which takes as input an LK-proof with arbitrary cuts and skolemized end-sequent and gives as output an LKproof with atomic cuts only. The elimination of cuts is ...
AVI
2008
13 years 10 months ago
2008
Computer visualization and networking have advanced dramatically over the last few years, partially driven by the exploding video game market. 3D hardware acceleration has reached...
SIMULATION
2002
13 years 7 months ago
2002
ISCA
2011
IEEE
12 years 11 months ago
2011
IEEE
High assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. ...
CA
1998
IEEE
13 years 12 months ago
1998
IEEE
In this paper we propose a method to simulate human beings based on anatomy concepts. We believe that the closer our model is to reality, the better will be our results. Using thi...