Sciweavers

3191 search results - page 170 / 639
» Qualitative Modeling in Education
Sort
View
CORR
2008
Springer
114views Education» more  CORR 2008»
15 years 9 months ago
Self-Assembly of Infinite Structures
We review some recent results related to the self-assembly of infinite structures in the Tile Assembly Model. These results include impossibility results, as well as novel tile as...
Matthew J. Patitz, Scott M. Summers
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 7 months ago
Timed Automata Semantics for Analyzing Creol
ir end-to-end deadlines. Real-time Creol can be useful for analyzing, for instance, abstract models of multi-core embedded systems. We show how analysis can be done in UPPAAL.
Mohammad Mahdi Jaghoori, Tom Chothia
CORR
2010
Springer
118views Education» more  CORR 2010»
15 years 7 months ago
Toward a Formal Semantics for Autonomic Components
Autonomic management can improve the QoS provided by parallel/distributed applications. Within the CoreGRID Component Model, the autonomic management is tailored to the automatic
Marco Aldinucci, Emilio Tuosto
CORR
2010
Springer
73views Education» more  CORR 2010»
15 years 7 months ago
Exponential Family Hybrid Semi-Supervised Learning
We present an approach to semi-supervised learning based on an exponential family characterization. Our approach generalizes previous work on coupled priors for hybrid generative/...
Arvind Agarwal, Hal Daumé III
198
Voted
CORR
2010
Springer
108views Education» more  CORR 2010»
15 years 7 months ago
Using Coloured Petri Nets for design of parallel raytracing environment
Abstract. This paper deals with the parallel raytracing part of virtualreality system PROLAND, developed at the home institution of authors. It describes an actual implementation o...
Stefan Korecko, Branislav Sobota