123 search results - page 8 / 25 » Model-Based Automated Generation of User Interfaces |
113
Voted
WWW
2006
ACM
16 years 3 months ago
2006
ACM
We present DiTaBBu, Digital Talking Books Builder, a framework for automatic production of time-based hypermedia for the Web, focusing on the Digital Talking Books domain. Deliver...
123
click to vote
NAACL
2003
15 years 3 months ago
2003
The TAP-XL Automated Analyst’s Assistant is an application designed to help an Englishspeaking analyst write a topical report, culling information from a large inflow of multili...
130
Voted
ICCBR
1997
Springer
15 years 6 months ago
1997
Springer
Realistic and complex planning situations require a mixed-initiative planning framework in which human and automated planners interact to mutually construct a desired plan. Ideally...
125
Voted
AVI
2008
15 years 4 months ago
2008
To support planning of massive transportations under time-critical conditions, in particular, evacuation of people from a disasteraffected area, we have developed a software modul...
107
click to vote
JSS
2006
15 years 2 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...