Sciweavers

642 search results - page 73 / 129
» Roles Versus Classes
Sort
View
IJCAI
2003
15 years 5 months ago
On the Undecidability of Description and Dynamic Logics with Recursion and Counting
The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar­ chy of decidable logics with multiple maximal el­ ements. It would be desirable to ...
Piero A. Bonatti
CE
2008
86views more  CE 2008»
15 years 4 months ago
Computer game design: Opportunities for successful learning
Developing children as successful learners is a key aim of A Curriculum for Excellence in Scotland. This paper presents qualitative results from an eight week exploratory field st...
Judy Robertson, Cathrin Howells
CORR
2010
Springer
166views Education» more  CORR 2010»
15 years 4 months ago
The dynamics of message passing on dense graphs, with applications to compressed sensing
`Approximate message passing' algorithms proved to be extremely effective in reconstructing sparse signals from a small number of incoherent linear measurements. Extensive num...
Mohsen Bayati, Andrea Montanari
CORR
2010
Springer
101views Education» more  CORR 2010»
15 years 4 months ago
Distributed anonymous discrete function computation
We propose a model for deterministic distributed function computation by a network of identical and anonymous nodes. In this model, each node has bounded computation and storage c...
Julien M. Hendrickx, Alexander Olshevsky, John N. ...
CORR
2008
Springer
107views Education» more  CORR 2008»
15 years 4 months ago
Metric Structures and Probabilistic Computation
Abstract. Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical co...
Wesley Calvert