Sciweavers

911 search results - page 1 / 183
» First Steps with a Rideable Computer
Sort
View
VR
2000
IEEE
117views Virtual Reality» more  VR 2000»
13 years 9 months ago
First Steps with a Rideable Computer
Although technologies such as head mounted displays and CAVEs can be used to provide large immersive visual displays within small physical spaces, it is difficult to provide virt...
Robert S. Allison, Laurence R. Harris, Michael Jen...
ENTCS
2006
110views more  ENTCS 2006»
13 years 4 months ago
First Steps in Synthetic Computability Theory
Computability theory, which investigates computable functions and computable sets, lies at the foundation of computer science. Its classical presentations usually involve a fair a...
Andrej Bauer
BMCBI
2008
107views more  BMCBI 2008»
13 years 5 months ago
Multi-agent systems in epidemiology: a first step for computational biology in the study of vector-borne disease transmission
Background: Computational biology is often associated with genetic or genomic studies only. However, thanks to the increase of computational resources, computational models are ap...
Benjamin Roche, Jean-François Guégan...
TPHOL
1991
IEEE
13 years 8 months ago
First Steps Towards Automating Hardware Proofs in HOL
D ABSTRACT) Ramayya Kumar, Thomas Kropf, Klaus Schneider University of Karlsruhe,Institute of ComputerDesign and Fault Tolerance (Prof.Dr.D. Schmid) P.O. Box 6980, W-7500 Karlsruhe...
Ramayya Kumar, Thomas Kropf, Klaus Schneider