1031 search results - page 93 / 207 » Survey on User Interface Programming |
106
Voted
WSC
1997
15 years 3 months ago
1997
This paper presents an implementation methodology appropriate for providing a broad range of proven, classical Operations Research methods and techniques to the simulation modeler...
120
Voted
JAR
2010
15 years 1 months ago
2010
Abstract. In this paper we propose an effective procedure for translating a proof term of the Calculus of Inductive Constructions (CIC), which is very similar to a program written...
118
Voted
CHI
2009
ACM
15 years 9 months ago
2009
ACM
Prior knowledge is a critical resource for design, especially when designers are striving to generate new ideas for complex problems. Systems that improve access to relevant prior...
102
Voted
UIST
2009
ACM
15 years 9 months ago
2009
ACM
In this paper, we extrapolate the evolution of mobile devices in one specific direction, namely miniaturization. While we maintain the concept of a device that people are aware of...
119
click to vote
MM
2004
ACM
15 years 8 months ago
2004
ACM
Given time and location information about digital photographs we can automatically generate an abundance of related contextual metadata, using off-the-shelf and Web-based data so...