Sciweavers

1404 search results - page 157 / 281
» Dynamic Scale-Space Theories
Sort
View
CHI
2007
ACM
16 years 4 months ago
Designing tangibles for children: what designers need to know
New forms of tangible and spatial child computer interaction and supporting technologies can be designed to leverage the way children develop intelligence in the world. In order t...
Alissa Nicole Antle
POPL
2004
ACM
16 years 4 months ago
Separation and information hiding
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
Peter W. O'Hearn, Hongseok Yang, John C. Reynolds
ICCAD
2002
IEEE
149views Hardware» more  ICCAD 2002»
16 years 1 months ago
Battery-aware power management based on Markovian decision processes
- This paper addresses the problem of maximizing capacity utilization of the battery power source in a portable electronic system under latency and loss rate constraints. First, a ...
Peng Rong, Massoud Pedram
CSCW
2010
ACM
16 years 1 months ago
Idea expander: supporting group brainstorming with conversationally triggered visual thinking stimuli
Creativity is central to much human problem solving and innovation. Brainstorming processes attempt to leverage group creativity, but group dynamics sometimes limit their utility....
Hao-Chuan Wang, Dan Cosley, Susan R. Fussell
SAC
2009
ACM
15 years 11 months ago
Evaluating algorithms that learn from data streams
In the past years, the theory and practice of machine learning and data mining have been focused on static and finite data sets from where learning algorithms generate a static m...
João Gama, Pedro Pereira Rodrigues, Raquel ...