8030 search results - page 514 / 1606 » User Interface Softbots |
194
click to vote
JAR
2010
15 years 5 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...
199
click to vote
CHI
2009
ACM
15 years 5 months ago
2009
ACM
Interaction programming bridges the gap between interaction design and programming, but it has not yet been related directly to mainstream development practice. This paper present...
203
Voted
HCI
2009
15 years 5 months ago
2009
The evaluation and design of user interfaces may be facilitated by using performance models based on cognitive architectures. A recent trend in HCI is the increased focus on percep...
213
Voted
NAR
2010
15 years 2 months ago
2010
The Freiburg RNA tools web server integrates three tools for the advanced analysis of RNA in a common webbased user interface. The tools IntaRNA, ExpaRNA, and LocARNA support the ...
182
Voted
PUC
2010
15 years 2 months ago
2010
People record and share their experiences through text, audio and video. Increasingly they do this blogging from mobile devices. We illustrate a novel, mobile, low interaction cos...