Sciweavers

1211 search results - page 228 / 243
» Classification of Contradiction Patterns
Sort
View
113
Voted
CHI
2004
ACM
16 years 3 months ago
Energy-aware user interfaces: an evaluation of user acceptance
The utility of a handheld device is often constrained by the battery life, particularly with recent usage patterns where the device is likely to be powered on at all times. The di...
Tim Harter, Sander Vroegindeweij, Erik Geelhoed, M...
129
Voted
SIGMOD
2004
ACM
209views Database» more  SIGMOD 2004»
16 years 2 months ago
MAIDS: Mining Alarming Incidents from Data Streams
Real-time surveillance systems, network and telecommunication systems, and other dynamic processes often generate tremendous (potentially infinite) volume of stream data. Effectiv...
Y. Dora Cai, David Clutter, Greg Pape, Jiawei Han,...
132
Voted
EDBT
2008
ACM
206views Database» more  EDBT 2008»
16 years 2 months ago
Designing an inductive data stream management system: the stream mill experience
There has been much recent interest in on-line data mining. Existing mining algorithms designed for stored data are either not applicable or not effective on data streams, where r...
Hetal Thakkar, Barzan Mozafari, Carlo Zaniolo
158
Voted
ICFP
2008
ACM
16 years 2 months ago
Space profiling for parallel functional programs
This paper presents a semantic space profiler for parallel functional programs. Building on previous work in sequential profiling, our tools help programmers to relate runtime res...
Daniel Spoonhower, Guy E. Blelloch, Robert Harper,...
151
Voted
IUI
2010
ACM
15 years 9 months ago
Intelligent understanding of handwritten geometry theorem proving
Computer-based geometry systems have been widely used for teaching and learning, but largely based on mouse-andkeyboard interaction, these systems usually require users to draw fi...
Yingying Jiang, Feng Tian, Hongan Wang, Xiaolong Z...