Sciweavers

368 search results - page 45 / 74
» System BV is NP-complete
Sort
View
SEMWEB
2005
Springer
15 years 3 months ago
Provenance-Based Validation of E-Science Experiments
E-science experiments typically involve many distributed services maintained by different organisations. After an experiment has been executed, it is useful for a scientist to ver...
Sylvia C. Wong, Simon Miles, Weijian Fang, Paul T....
3DIM
1997
IEEE
15 years 1 months ago
3-D Modeling from Range Imagery: An Incremental Method with a Planning Component
In this article we present a method for automatically constructing a solid (in the CAD sense) model of an unknown object from range images. The model acquisition system provides f...
Michael K. Reed, Peter K. Allen, Ioannis Stamos
WDAG
1997
Springer
78views Algorithms» more  WDAG 1997»
15 years 1 months ago
Genuine Atomic Multicast
This paper addresses the problem of atomic multicasting messages in asynchronous distributed systems. Firstly, we give a characterization of the notion of genuine atomic multicast...
Rachid Guerraoui, André Schiper
AIPS
2004
14 years 11 months ago
Conformant Planning via Heuristic Forward Search: A New Approach
Conformant planning is the task of generating plans given uncertainty about the initial state and action effects, and without any sensing capabilities during plan execution. The p...
Ronen I. Brafman, Jörg Hoffmann
PARCO
1997
14 years 11 months ago
Parallel Database Techniques in Decision Support and Data Mining
During the last decade, all commercial database systems have included features for parallel processing into their products. This development has been driven by the fact that datab...
Andreas Reuter