1222 search results - page 231 / 245 » A Bayesian Approach to Model Checking Biological Systems |
130
Voted
SIMULATION
1998
15 years 1 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
141
click to vote
NIPS
2000
15 years 3 months ago
2000
Learning of a smooth but nonparametric probability density can be regularized using methods of Quantum Field Theory. We implement a field theoretic prior numerically, test its eff...
157
click to vote
ISER
1997
Springer
15 years 6 months ago
1997
Springer
The kinematics and force/displacement relationships of elements of biological joints are notoriously difficult to understand. In particular, the human knee has bearing surfaces o...
106
Voted
EUROCAST
2005
Springer
15 years 7 months ago
2005
Springer
Convergence is a central problem in both computer science and in population biology. Will a program terminate? Will a population go to an equilibrium? In general these questions ar...
109
click to vote
ICRA
2000
IEEE
15 years 6 months ago
2000
IEEE
We describe a new theoretical framework for robot-aided training of arm movements. This framework is based on recent studies of motor adaptation in human subjects and on general c...