997 search results - page 109 / 200 » Decision-Theoretic User Interface Generation |
247
click to vote
FROCOS
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
136
click to vote
HUC
2010
Springer
15 years 4 months ago
2010
Springer
Context-aware applications should be intelligible so users can better understand how they work and improve their trust in them. However, providing intelligibility is nontrivial an...
153
click to vote
GIS
2009
ACM
15 years 9 months ago
2009
ACM
This paper proposes a method for generating a Focus+Glue +Context map for Web map services by improving existing fisheye views methods for cartographic data. While many studies h...
128
click to vote
PADL
2010
Springer
16 years 1 months ago
2010
Springer
This paper describes a framework to support the implementation of web-based systems to manipulate data stored in relational databases. Since the conceptual model of a relational da...
137
click to vote
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
—In this paper we present a novel interactive method and interface techniques for controlling the behavior of physically-based simulation of deformable objects. The goal of our r...