While a designer’s focus used to be the design of non-interactive elements such as graphics or animations, today’s designers deal with various levels of interactivity such as ...
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
As driver distraction from in-vehicle devices increasingly becomes a concern on our roadways, researchers have searched for better scientific understanding of distraction along wi...
Dario D. Salvucci, Mark Zuber, Ekaterina Beregovai...
: This paper presents a framework for the automatic production of Digital Talking Books (DTB). The production process converts existing audio tapes and OCR-based digitalization of ...
Knowledge scouts are software agents that autonomously search for and synthesize user-oriented knowledge (target knowledge) in large local or distributed databases. A knowledge ge...