5205 search results - page 935 / 1041 » Tilings and model theory |
174
click to vote
WIKIS
2009
ACM
15 years 11 months ago
2009
ACM
Learning “the wiki way”, learning through wikis is a form of selfregulated learning that is independent of formal learning settings and takes place in a community of knowledge...
184
click to vote
INFOCOM
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract—This paper presents a model and theory for streaming layered video. We model the bandwidth available to the streaming application as a stochastic process whose statistic...
205
click to vote
GECCO
1999
Springer
15 years 10 months ago
1999
Springer
This paper discusses the simulation results of a model of biological development for neural networks based on a regulatory genome. The model’s results are analyzed using the fra...
222
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
As a pedagogical exercise in ACL2, we formalize and prove the correctness of a write invalidate cache scheme. In our formalization, an arbitrary number of processors, each with its...
177
click to vote
PDP
2010
IEEE
15 years 10 months ago
2010
IEEE
—The emergence of multi-core computers has led to explosive development of parallel applications and hence the need of efficient schedulers for parallel jobs. Adaptive online sc...