740 search results - page 55 / 148 » Experiments on Supporting Interactive Proof Using Resolution |
CHI
2010
ACM
15 years 8 months ago
2010
ACM
Reminiscing is a valuable activity that people of all ages spontaneously and informally partake in as part of their everyday lives. This paper discusses the design and use of Pens...
108
click to vote
HVEI
2009
14 years 11 months ago
2009
This study explores the haptic rendering capabilities of a variable friction tactile interface through psychophysical experiments. In order to obtain a deeper understanding of the...
CHI
2011
ACM
14 years 5 months ago
2011
ACM
From home improvement to scrapbooking, leisure activities performed “by hand” increasingly involve digital tools. In turn, software and devices to support handwork are prolife...
116
click to vote
AOSE
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Governance means that specifications are enforced dynamically at application runtime. Governance framework is a technique to design and implement an extensible interactio...
118
click to vote
CIKM
2008
Springer
15 years 3 months ago
2008
Springer
Most approaches for protein interaction mining from biomedical texts use both lexical and syntactic features. However, the individual impact of these two kinds of features on the ...