4480 search results - page 167 / 896 » Prototyping Completion with Constraints Using Computational ... |
145
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
In this paper, we discuss the output of a student project about the design of a physically interactive system to assist the education of martial arts to children. The conceptual s...
207
click to vote
CIB
2004
15 years 6 months ago
2004
Abstract-- Pervasive Computing refers to a seamless and invisible computing environment which provides dynamic, proactive and context-aware services to the user by acquiring contex...
156
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we propose a new shared task called HOO: Helping Our Own. The aim is to use tools and techniques developed in computational linguistics to help people writing about...
208
click to vote
VMCAI
2012
Springer
14 years 1 months ago
2012
Springer
stractions for Well-Structured Transition Systems Damien Zufferey1 , Thomas Wies2 , and Thomas A. Henzinger1 1 IST Austria 2 New York University Many infinite state systems can be...
189
Voted
CASES
2005
ACM
15 years 8 months ago
2005
ACM
Customisable embedded processors are becoming available on the market, thus making it possible for designers to speed up execution of applications by using Application-specific F...