8177 search results - page 1304 / 1636 » Detecting System Emulators |
169
click to vote
KDD
2004
ACM
16 years 7 months ago
2004
ACM
Analyzing data to find trends, correlations, and stable patterns is an important task in many industrial applications. This paper proposes a new technique based on parallel coordi...
160
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Being able to automatically perceive a variety of emotions from text alone has potentially important applications in CMC and HCI that range from identifying mood from online posts...
189
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
Tangible User Interfaces are well-suited to handling threedimensional data sets by direct manipulation of real objects in space, but current interfaces can make it difficult to lo...
196
click to vote
CADE
2005
Springer
16 years 7 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
184
Voted
OSDI
2006
ACM
16 years 7 months ago
2006
ACM
We present a science-centric evaluation of a 19-day sensor network deployment at Reventador, an active volcano in Ecuador. Each of the 16 sensors continuously sampled seismic and ...