12981 search results - page 2375 / 2597 » Model Checking (Abstract) |
137
click to vote
IJCAI
1989
15 years 5 months ago
1989
based on an abstract concept of quiescence. In the following we sketch this and a related model, describe the design of our experiments, and present the results of our simulation s...
145
Voted
UAI
2007
15 years 5 months ago
2007
A research organization responds to a variety of customer requests. Each high level request is broken down into a set of low level requests. For each low level request, the resear...
102
Voted
WCE
2007
15 years 5 months ago
2007
Abstract—The major infrastructure component required to develop an underground mine is a decline, which is a system of tunnels used for access and haulage. In this paper we study...
161
click to vote
WCE
2007
15 years 5 months ago
2007
Abstract—Docking simulates molecular interactions. Protein - protein docking, owing to the sizes of molecules, is a very challenging problem. As the number of degrees of freedom ...
123
click to vote
3DPH
2009
15 years 5 months ago
2009
Abstract. A common problem in optical motion capture of human-body movement is the so-called missing marker problem. The occlusion of markers can lead to significant problems in tr...