Sciweavers

1655 search results - page 251 / 331
» Visual tool for generative programming
Sort
View
115
Voted
VL
2008
IEEE
122views Visual Languages» more  VL 2008»
15 years 7 months ago
Designers' natural descriptions of interactive behaviors
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 ...
Sun Young Park, Brad A. Myers, Andrew J. Ko
CAV
2007
Springer
110views Hardware» more  CAV 2007»
15 years 6 months ago
Hector: Software Model Checking with Cooperating Analysis Plugins
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...
Nathaniel Charlton, Michael Huth
86
Voted
CHI
2005
ACM
16 years 28 days ago
Distract-R: rapid prototyping and evaluation of in-vehicle interfaces
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...
95
Voted
CADUI
2004
15 years 1 months ago
Building Rich User Interfaces for Digital Talking Books
: 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 ...
Luís Carriço, Carlos Duarte, Rui Lop...
FUIN
2000
109views more  FUIN 2000»
15 years 11 days ago
Building Knowledge Scouts Using KGL Metalanguage
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...
Ryszard S. Michalski, Kenneth A. Kaufman