Sciweavers

699 search results - page 117 / 140
» Generalized Distance Functions in the Theory of Computation
Sort
View
WIKIS
2006
ACM
15 years 3 months ago
Is there a space for the teacher in a WIKI?
In this paper we ask to what extent collective cognition can be supported and sustained in classroom practices. One major challenge for learning in technology-rich, collaborative ...
Andreas Lund, Ole Smørdal
PODS
2010
ACM
249views Database» more  PODS 2010»
15 years 2 months ago
Semantic query optimization in the presence of types
Both semantic and type-based query optimization rely on the idea that queries often exhibit non-trivial rewritings if the state space of the database is restricted. Despite their ...
Michael Meier 0002, Michael Schmidt, Fang Wei, Geo...
JCC
2007
110views more  JCC 2007»
14 years 9 months ago
Electron correlation: The many-body problem at the heart of chemistry
Abstract: The physical interactions among electrons and nuclei, responsible for the chemistry of atoms and molecules, is well described by quantum mechanics and chemistry is theref...
David P. Tew, Wim Klopper, Trygve Helgaker
COGSR
2011
82views more  COGSR 2011»
14 years 4 months ago
Executive control of retrieval in noun and verb generation
In verb/noun generation experiments, participants have to produce a word associated with a stimulus (usually a noun) and belonging to a given syntactic category (“verb” or “...
Fabio Del Missier, Cristiano Crescentini
ICFP
2008
ACM
15 years 9 months ago
AURA: a programming language for authorization and audit
This paper presents AURA, a programming language for access control that treats ordinary programming constructs (e.g., integers and recursive functions) and authorization logic co...
Limin Jia, Jeffrey A. Vaughan, Karl Mazurak, Jianz...