1011 search results - page 66 / 203 » The three dimensions of proofs |
157
click to vote
CE
2008
15 years 6 months ago
2008
The main purpose of this study was to establish Information Literacy Competence Standards for Elementary and High School Teachers. To establish these standards a set of two expert...
164
click to vote
VISUALIZATION
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a new method for using texture to visualize multidimensional data elements arranged on an underlying threedimensional height field. We hope to use simple textu...
260
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
A concurrent data-structure implementation is considered nonblocking if it meets one of three following liveness criteria: waitfreedom, lock-freedom, or obstruction-freedom. Devel...
188
click to vote
ESOP
2005
Springer
15 years 12 months ago
2005
Springer
Electronic voting promises the possibility of a convenient, efficient and secure facility for recording and tallying votes in an election. Recently highlighted inadequacies of imp...
153
click to vote
COCO
2004
Springer
15 years 11 months ago
2004
Springer
This paper studies quantum Arthur–Merlin games, which are Arthur–Merlin games in which Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum in...