Sciweavers

15635 search results - page 2764 / 3127
» A Designing Model of XML-Dataweb
Sort
View
RIAO
2000
15 years 5 months ago
Statistical motion-based video indexing and retrieval
We propose an original approach for the characterization of video dynamic content with a view to supplying new functionalities for motion-based video indexing and retrieval with q...
Ronan Fablet, Patrick Bouthemy, P. Perez
SODA
2000
ACM
123views Algorithms» more  SODA 2000»
15 years 5 months ago
Communication complexity of document exchange
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...
Graham Cormode, Mike Paterson, Süleyman Cenk ...
WOA
2000
15 years 5 months ago
Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture
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...
Alessandro Armando, Daniele Zini
OSDI
1996
ACM
15 years 5 months ago
Online Data-Race Detection via Coherency Guarantees
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 ...
Dejan Perkovic, Peter J. Keleher
IJCAI
1989
15 years 5 months ago
The Reason for the Benefits of Minimax Search
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...
Anton Scheucher, Hermann Kaindl
« Prev « First page 2764 / 3127 Last » Next »