MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Keith Hanna" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

8 documents found, showing 1 through 8.

ATOM

Reasoning about Real Circuits
by Keith Hanna — 1994 — Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications, LNCS 859
…. Malta, Sept 1994, LNCS, Springer Verlag Reasoning about Real Circuits Keith Hanna University of Kent…
Cited by 2 (0 self) – Add To MetaCart

Strongly-typed Theory of Structures And Behaviours
by Keith Hanna, Neil Daeche — 1993 — Correct Hardware Design and Verification Methods, Lecture Notes In Computer Science
…Strongly-typed Theory of Structures and Behaviours Keith Hanna and Neil Daeche University of Kent…
Cited by 2 (1 self) – Add To MetaCart

Reasoning About Array Structures Using a Dependently Typed Logic
by Alan Dent, Keith Hanna — 1993 — In Computer Hardware Description Languages and their Applications
… Dent, Keith Hanna Abstract: This paper explores the use of a dependently-typed design logic…
Cited by 4 (0 self) – Add To MetaCart

Implementation of the Veritas Design Logic
by Keith Hanna, Neil Daeche, Gareth Howells — 1992 — Proc. of the International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience
…Implementation of the Veritas Design Logic Keith Hanna, Neil Daeche and Gareth Howells University…
Cited by 1 (0 self) – Add To MetaCart

Abstracts from the 1989 HOL Users Group Meeting
by Phillip Windley Editor, Phillip J. Windley, Keith Hanna — 1989
… Verification: The Art of Being Economical with the Truth Keith Hanna fkh@(email omitted); University of Kent, UK…
Add To MetaCart

Hybrid stereo camera: an ibr approach for synthesis of very high resolution stereoscopic image sequences
by Harpreet S. Sawhney, Yanlin Guo, Keith Hanna, Rakesh Kumar — 2001 — In SIGGRAPH
… Sequences Abstract Harpreet S. Sawhney Yanlin Guo Keith Hanna Rakesh Kumar Vision Technologies Lab., Sarnoff…
Cited by 10 (0 self) – Add To MetaCart

Registration of Highly-Oblique and Zoomed in Aerial Video to Reference Imagery
by Rakesh Kumar Supun, Rakesh Kumar, Supun Samarasekera, Steve Hsu, Keith Hanna — 2000 — in Proceedings of the IEEE Computer Society Computer Vision and Pattern Recognition Conference
… Samarasekera, Steve Hsu, Keith Hanna Sarnoff Corporation, 201 Washington Road, Princeton, NJ-08543 Email…
Add To MetaCart

Representation of Scenes from Collections of Images
by Rakesh Kumar Anandan, Rakesh Kumar, P. An, Michal Irani, James Bergen, Keith Hanna — 1995 — In IEEE Workshop on Representations of Visual Scenes
… Bergen, Keith Hanna David Samoff Research Center CN5300, Princeton NJ 08543-5300 Email: kumarsarnoff. com…
Cited by 45 (4 self) – Add To MetaCart

Showing 1 through 8.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB