1114 search results - page 104 / 223 » Combining Indicators of Allophony |
163
click to vote
CHI
2004
ACM
16 years 6 months ago
2004
ACM
Instant Messaging (IM) is a popular chatting platform on the internet and increasingly permeates teenage life. Even intimate and emotional content is discussed. As touch is a powe...
130
click to vote
CHI
2003
ACM
16 years 6 months ago
2003
ACM
E-commerce stretches interactions over space and time, and thus requires more trust than traditional shopping. Current approaches to building trust in e-commerce focus on cognitiv...
161
click to vote
CADE
2005
Springer
16 years 6 months ago
2005
Springer
Abstract This paper describes a formalisation of the lambda-calculus in a HOL-based theorem prover using nominal techniques. Central to the formalisation is an inductive set that i...
185
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
We present new algorithms on commodity graphics processors to perform fast computation of several common database operations. Specifically, we consider operations such as conjunct...
162
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
A one-day workshop on the topic of mining software repositories was held at ICSE 2005 in St. Louis, Missouri. Researchers and practitioners in this field try to transform static r...