60 search results - page 7 / 12 » HOL Light: An Overview |
TPHOL
2007
IEEE
15 years 4 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
SG
2005
Springer
15 years 3 months ago
2005
Springer
Modelling, animation and rendering has dominated research computer graphics yielding increasingly rich and realistic virtual worlds. The complexity, richness and quality of the vir...
ICBA
2004
Springer
15 years 3 months ago
2004
Springer
A new technology evaluation of fingerprint verification algorithms has been organized following the approach of the previous FVC2000 and FVC2002 evaluations, with the aim of tracki...
ICRA
2003
IEEE
15 years 3 months ago
2003
IEEE
Ada is an entertainment exhibit that is able to interact with many people simultaneously, using a language of light and sound. “She” received 553,700 visitors over 5 months du...
107
click to vote
DAGSTUHL
2010
14 years 11 months ago
2010
Illustrative techniques are a new and exciting direction in visualization research. Traditional techniques which have been used by scientific illustrators for centuries are re-exa...