10995 search results - page 1991 / 2199 » Positioning |
196
click to vote
TPHOL
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
203
click to vote
VR
1999
IEEE
15 years 10 months ago
1999
IEEE
The study of human-computer interaction within immersive virtual environments requires us to balance what we have learned from the design and use of desktop interfaces with novel ...
170
click to vote
GECCO
1999
Springer
15 years 10 months ago
1999
Springer
Using the thermodynamics of DNA melting, a technique is proposed to choose a reaction temperature for the DNA computation that minimizes the potential for mishybridizations. Adlem...
177
click to vote
ICS
1999
Tsinghua U.
15 years 10 months ago
1999
Tsinghua U.
—This paper explores the use of compiler optimizations which optimize the layout of instructions in memory. The target is to enable the code to make better use of the underlying ...
188
click to vote
ISER
1999
Springer
15 years 10 months ago
1999
Springer
: We are developing a robotic measurement facility which makes it very easy to build “reality-based” models, i.e., computational models of existing, physical objects based on a...