1411 search results - page 117 / 283 » Interactive Coding for Interactive Proofs |
88
Voted
PADL
2000
Springer
15 years 1 months ago
2000
Springer
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
89
Voted
JPDC
2006
14 years 10 months ago
2006
With the increasing availability of high-performance massively parallel computer systems, the prevalence of sophisticated scientific simulation has grown rapidly. The complexity o...
157
click to vote
CC
2009
Springer
15 years 10 months ago
2009
Springer
Important challenges for compiler optimization include determining what optimizations to apply, where to apply them and what is a good sequence in which to apply them. To address t...
104
Voted
CHI
2001
ACM
15 years 10 months ago
2001
ACM
Eye tracking studies of the Hyperbolic Tree browser [10] suggest that visual search in focus+context displays is highly affected by information scent (i.e., local cues, such as te...
TEI
2010
ACM
15 years 5 months ago
2010
ACM
This project studied the influence of kinesthetic intelligences on creativity in young children. To understand this relationship preschoolers were observed in their daycare setti...