Sciweavers

14084 search results - page 375 / 2817
» A Theory for Game Theories
Sort
View
PG
2007
IEEE
16 years 1 months ago
Visualization of Dyeing based on Diffusion and Adsorption Theories
This paper describes a method for simulating and visualizing dyeing based on weave patterns and the physical parameters of the threads and the dye. We apply Fick’s second law wi...
Yuki Morimoto, Masayuki Tanaka, Reiji Tsuruno, Kiy...
QEST
2007
IEEE
16 years 1 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
SYNASC
2007
IEEE
105views Algorithms» more  SYNASC 2007»
16 years 1 months ago
Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
Adrian Craciun, Madalina Hodorog
AIED
2007
Springer
16 years 1 months ago
Standard-Compliant Scenario Building with Theoretical Justification in a Theory-Aware Authoring Tool
Nowadays standard technologies play important roles in enhancing sharability, reusability and interoperability of learning contents. However, there is a lack of pedagogical justifi...
Yusuke Hayashi, Jacqueline Bourdeau, Riichiro Mizo...