9405 search results - page 64 / 1881 » Computing a Model of Set Theory |
135
click to vote
IIE
2008
15 years 3 months ago
2008
Blended learning is becoming an attractive model in higher education as new innovative information technologies are becoming increasingly available. However, just blending face-to-...
137
click to vote
VMCAI
2010
Springer
16 years 14 days ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
127
click to vote
DNIS
2005
Springer
15 years 8 months ago
2005
Springer
: A Peer-to-peer Data Network (PDN) is an open and evolving society of peer nodes that assemble into a network to share their data for mutual benefit. PDNs are enabled by distribu...
129
click to vote
PCI
2001
Springer
15 years 7 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
135
click to vote
AIEDU
2005
15 years 3 months ago
2005
The Bayesian framework offers a number of techniques for inferring an individual's knowledge state from evidence of mastery of concepts or skills. A typical application where ...