1400 search results - page 156 / 280 » Dynamic Galois Theory |
WWW
2004
ACM
16 years 3 days ago
2004
ACM
We study the dynamics of information propagation in environments of low-overhead personal publishing, using a large collection of weblogs over time as our example domain. We chara...
CHI
2007
ACM
15 years 12 months ago
2007
ACM
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...
194
click to vote
POPL
2004
ACM
15 years 11 months ago
2004
ACM
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...
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
- 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 ...
CSCW
2010
ACM
15 years 8 months ago
2010
ACM
Creativity is central to much human problem solving and innovation. Brainstorming processes attempt to leverage group creativity, but group dynamics sometimes limit their utility....