2373 search results - page 113 / 475 » Complexities for generalized models of self-assembly |
164
Voted
TACAS
2001
Springer
15 years 9 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
125
click to vote
MSV
2004
15 years 6 months ago
2004
Valid models are central to the existence of Computer science as in most other disciplines, but at what point can one say that a model is valid and hence correct? is often taken t...
147
click to vote
SMA
1995
ACM
15 years 8 months ago
1995
ACM
: Fast and accurate collision detection between general solid models is a fundamental problem in solid modeling, robotics, animation and computer-simulated environments. Most of th...
163
click to vote
ITS
2004
Springer
15 years 10 months ago
2004
Springer
This research describes a probabilistic approach for developing predictive models of how students learn problem-solving skills in general qualitative chemistry. The goal is to use ...
150
click to vote
SMI
1999
IEEE
15 years 8 months ago
1999
IEEE
Surgical simulation is the coming training method for medical education. The main reasons for this are the reduced risk for the patients and the easy repeatability of complicated ...