4762 search results - page 202 / 953 » About the use of protein models |
103
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
109
Voted
IJCAI
1989
15 years 3 months ago
1989
This paper describes an attempt to model the method of generating a fact from the opinions of other persons or of institutions as a process which is based on knowledge about these...
IJON
2002
15 years 1 months ago
2002
The otolith organs in the vestibular system are excellent detectors of linear accelerations. However, any measurement of linear acceleration is ambiguous between a tilt in a gravi...
132
Voted
GLVLSI
2000
IEEE
15 years 6 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...
IJCAI
2001
15 years 3 months ago
2001
This paper describes the Region Occlusion Calculus (ROC-20), that can be used to model spatial occlusion and the effects of motion parallax of arbitrary shaped objects. ROC-20 ass...