1560 search results - page 70 / 312 » interfaces 2010 |
MM
2010
ACM
13 years 8 months ago
2010
ACM
This thesis aims to analyze, model, and develop a framework for next-generation multimedia authoring tools targeted to end-users. In particular, I concentrate on the combination o...
ENTCS
2007
13 years 10 months ago
2007
This paper is part of a comprehensive approach to debugging for functional logic languages. The basic idea of the whole project is to trace the execution of functional logic progr...
ENTCS
2002
13 years 9 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...
SIAMMA
2010
13 years 4 months ago
2010
In this paper, we establish the convergence of the Ohta-Kawasaki equation to motion by nonlocal Mullins-Sekerka law on any smooth domain in space dimensions N 3. These equations a...
TEI
2010
ACM
14 years 4 months ago
2010
ACM
We introduce Whack Gestures, an inexact and inattentive interaction technique. This approach seeks to provide a simple means to interact with devices with minimal attention from t...