Combining ACL2 and an automated verification tool to verify a multiplier
- Erik Reeber
- Jun Sawada
- 2006
- ACL2 2006
Publications
Date
Featured collections
Popular topics
1773 results for Human-Centered AI
IBM Arabic-to-English Translation for IWSLT 2006
- 2006
- IWSLT 2006
IBM research TRECVID-2006 video retrieval system
- Murray Campbell
- Alexander Hauboldy
- et al.
- 2006
- TRECVID 2006
The IBM TRECVID concept detection system
- Milind Naphade
- Dhiraj Joshi
- et al.
- 2006
- TRECVID 2006
IBM marvel for TRECVID06 automatic search
- Paul Natsev
- 2006
- TRECVID 2006
Privacy, traceability, and anonymity for content protection
- Hongxia Jin
- 2006
- PST 2006
Task modeler: Innovative tooling for established methods
- Paul Englefield
- Mark Farmer
- et al.
- 2006
- HCI 2006
Automatically classifying emails into activities
- Mark Dredze
- Tessa Lau
- et al.
- 2005
- IUI 2005
Augmentation-based learning combining observations and user edits for programming-by-demonstration
- Daniel Oblinger
- Vittorio Castelli
- et al.
- 2005
- IUI 2005
Enabling context-sensitive information seeking
- Michelle X. Zhou
- Keith Houck
- et al.
- 2005
- IUI 2005