Sciweavers

1519 search results - page 76 / 304
» What do they think
Sort
View
APVIS
2006
13 years 11 months ago
Information gathering support interface by the overview presentation of web search results
The Internet consists of several billion documents. Choosing information from such a great number of Web pages is not easy. We do not think that the interfaces of traditional sear...
Takumi Kobayashi, Kazuo Misue, Buntarou Shizuki, J...
COGSCI
2006
107views more  COGSCI 2006»
13 years 10 months ago
Is the Brain a Quantum Computer?
We argue that computation via quantum mechanical processes is irrelevant to explaining how brains produce thought, contrary to the ongoing speculations of many theorists. First, q...
Abninder Litt, Chris Eliasmith, Frederick W. Kroon...
LOGCOM
2007
126views more  LOGCOM 2007»
13 years 10 months ago
A Structural Proof of the Soundness of Rely/guarantee Rules
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
Joey W. Coleman, Cliff B. Jones
CORR
2000
Springer
95views Education» more  CORR 2000»
13 years 10 months ago
One Complexity Theorist's View of Quantum Computing
The complexity of quantum computation remains poorly understood. While physicists attempt to find ways to create quantum computers, we still do not have much evidence one way or t...
Lance Fortnow
FECS
2010
143views Education» more  FECS 2010»
13 years 8 months ago
A Distributed Expertise Model for Teaching Computing Across Disciplines and Institutions
- Computing education has permeated virtually all disciplines, expanding learning with new technology and an updated definition of literacy that includes computational thinking. As...
Thomas Way, Lillian N. Cassel, Kim Pearson, Ursula...