123 search results - page 8 / 25 » Model-Based Automated Generation of User Interfaces |
85
Voted
WWW
2006
ACM
16 years 8 days 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...
NAACL
2003
15 years 29 days 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...
102
click to vote
ICCBR
1997
Springer
15 years 3 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...
101
click to vote
AVI
2008
15 years 1 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...
JSS
2006
14 years 11 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...