2958 search results - page 158 / 592 » Extending and Implementing RASP |
107
Voted
AAAI
1997
15 years 2 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...
99
Voted
WSCG
2000
15 years 2 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
15 years 2 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...
92
Voted
CADE
2010
Springer
15 years 1 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
15 years 1 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 ...