15636 search results - page 2978 / 3128 » Modelling by supersaturated designs |
188
click to vote
SODA
2000
ACM
15 years 8 months ago
2000
ACM
We address the problem of minimizing the communication involved in the exchange of similar documents. We consider two users, A and B, who hold documents x and y respectively. Neit...
182
click to vote
WOA
2000
15 years 8 months ago
2000
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
167
click to vote
OSDI
1996
ACM
15 years 8 months ago
1996
ACM
We present the design and evaluation of an on-thefly data-race-detection technique that handles applications written for the lazy release consistent (LRC) shared memory model. We ...
173
click to vote
IJCAI
1989
15 years 7 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...
167
click to vote
3DPH
2009
15 years 7 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...