4099 search results - page 520 / 820 » A Framework for Interactive Proof |
156
click to vote
DLOG
2008
15 years 9 months ago
2008
Abstract. We propose an approach for extending a tableau-based satisfiability algorithm by an arithmetic component. The result is a hybrid satisfiability algorithm for the Descript...
167
click to vote
EICS
2010
ACM
15 years 8 months ago
2010
ACM
Information Systems UI (User Interface) generation from declarative models has been the focus of numerous and various approaches in the human computer interaction community. Typic...
159
click to vote
HCI
2007
15 years 8 months ago
2007
Abstract. In this paper, we design an Attention Focus Kalman Filter (AFKF) a framework that offers interaction capabilities by constructing an eyemovement language, provides real-t...
213
click to vote
HCI
2007
15 years 8 months ago
2007
User interface (UI) plasticity denotes UI adaptation to the context of use (user, platform, physical and social environment) while preserving usability. Our approach to this proble...
192
click to vote
IC
2007
15 years 8 months ago
2007
- The proliferation of the impressive web technologies provides developers with a way to produce performance efficient, usable, rich and interactive web based applications. A set o...