9405 search results - page 148 / 1881 » Computing a Model of Set Theory |
WISEC
2009
ACM
15 years 5 months ago
2009
ACM
Time synchronization in highly distributed wireless systems like sensor and ad hoc networks is extremely important in order to maintain a consistent notion of time throughout the ...
CSCW
2012
ACM
13 years 5 months ago
2012
ACM
We present a tablet-based system to collaboratively track discussion topics and ideas in a seminar-style discussion classroom. Each student uses his or her own tablet to share tex...
143
click to vote
OIR
2011
14 years 1 months ago
2011
This paper integrates expectancy disconfirmation theory and justice theory to construct a model for investigating the motivations behind people’s knowledge sharing in open profe...
SYNASC
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we report a case study of computer supported exploration of the theory of natural numbers, using a theory exploration model based on knowledge schemes, proposed by ...
70
Voted
FOSSACS
2010
Springer
15 years 5 months ago
2010
Springer
Every algebraic theory gives rise to a monad, and monads allow a meta-language which is a basic programming language with sideeffects. Equations in the algebraic theory give rise ...