997 search results - page 79 / 200 » Decision-Theoretic User Interface Generation |
167
Voted
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
113
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
The movement of music from physical discs to digital resources managed on a computer has had an effect on the listening habits of users. We explore using the potential of the inna...
147
click to vote
SIGMOD
2004
ACM
15 years 10 months ago
2004
ACM
Future business applications will often have more than 2,000 forms and need to target several user interface (UI) technologies including: Web Browsers, Windows® Applications, PDA...
136
Voted
DOCENG
2004
ACM
15 years 10 months ago
2004
ACM
This research’s primary contribution is providing a relatively straightforward, sustainable infrastructure for integrating documents and services. Users see a totally integrated...
151
Voted
SERP
2004
15 years 6 months ago
2004
This paper describes a design specification and analysis framework to support the OO design stage. Structural and behavioral specifications of objects are integrated and formalize...