2268 search results - page 155 / 454 » The Essence of Form Abstraction |
ISCAS
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— This work describes the smallest known hardware implementation for Elliptic/Hyperelliptic Curve Cryptography (ECC/HECC). We propose two solutions for Publickey Cryptogr...
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract. Interactive proof assistants should verify the proofs they receive from automatic theorem provers. Normally this proof reconstruction takes place internally, forming part...
ACCV
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper, a multiview pedestrian detection method based on Vector Boosting algorithm is presented. The Extended Histograms of Oriented Gradients (EHOG) features are ...
AGTIVE
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this short paper we describe the setup and results of a new initiative to compare graph transformation tools, carried out as part of the AGTIVE 2007 symposium on “Ap...
AIED
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This poster introduces two pilot studies on children’s story reading and retelling using interactive media that move beyond familiar keyboard and mouse interaction. The...