Sciweavers

247 search results - page 18 / 50
» A Qualitative Physics Compiler
Sort
View
63
Voted
IADIS
2004
14 years 11 months ago
Students Text-Production Methods when Learning with the Internet
The increasing use of multimedia in education makes text-production with computers important for students. What kind of role does the Internet play here as an external source of i...
Burkhard Priemer, Maria Ploog
ECSQARU
2005
Springer
15 years 3 months ago
Generating Fuzzy Models from Deep Knowledge: Robustness and Interpretability Issues
The most problematic and challenging issues in fuzzy modeling of nonlinear system dynamics deal with robustness and interpretability. Traditional data-driven approaches, especially...
Raffaella Guglielmann, Liliana Ironi
59
Voted
ACRI
2004
Springer
15 years 3 months ago
SAT-Based Analysis of Cellular Automata
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
Massimo D'Antonio, Giorgio Delzanno
77
Voted
ICAS
2009
IEEE
152views Robotics» more  ICAS 2009»
15 years 1 months ago
A General Model for Virtual Machines Resources Allocation in Multi-tier Distributed Systems
We propose a general model for resources allocation of virtual machines in multi-tier distributed environments. Our model describes each virtual machine and each physical host by ...
Paolo Campegiani, Francesco Lo Presti
FGR
1998
IEEE
110views Biometrics» more  FGR 1998»
15 years 1 months ago
Dynamic Models of Human Motion
This paper describes experiments in human motion understanding, defined here as estimation of the physical state of the body (the Plant) combined with interpretation of that part ...
Christopher Richard Wren, Alex Pentland