3868 search results - page 590 / 774 » Open Systems in TLA |
170
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
It is known that emotions are experienced by both body and mind. Oftentimes, emotions are evoked by sub-symbolic stimuli, such as colors, shapes, gestures, or music. We have built...
104
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
We describe a novel interface that locates and characterizes knocks and taps atop a large glass window. Our current setup uses four contact piezoelectric pickups located near the ...
285
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
Reuse distance (i.e. LRU stack distance) precisely characterizes program locality and has been a basic tool for memory system research since the 1970s. However, the high cost of m...
215
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Two kinds of orderings are widely used in term rewriting and theorem proving, namely recursive path ordering (RPO) and Knuth-Bendix ordering (KBO). They provide powerful tools to p...
237
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
Over the past few years, we have been trying to build an end-to-end system at Wisconsin to manage unstructured data, using extraction, integration, and user interaction. This pape...