2958 search results - page 158 / 592 » Extending and Implementing RASP |
AAAI
1997
13 years 11 months ago
1997
CNF-BCP is a well-known propositional reasoner that extends clausal Boolean Constraint Propagation (BCP) to non-clausal theories. Although BCP has efficient linear-time implementa...
WSCG
2000
13 years 11 months ago
2000
This paper presents an immersive virtual environment which allows the user to virtually explore and experience special relativity, including phenomena such as Lorentz contraction,...
NIPS
1996
13 years 11 months ago
1996
A one-dimensional, visual tracking chip has been implemented using neuromorphic,analog VLSI techniques to modelselective visual attention in the control of saccadic and smooth pur...
CADE
2010
Springer
13 years 11 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
CHES
2010
Springer
13 years 11 months ago
2010
Springer
In this paper, a thorough bottom-up optimization process (field, point and scalar arithmetic) is used to speed up the computation of elliptic curve point multiplication and report ...