Sciweavers

7773 search results - page 1268 / 1555
» On generalized Frame-Stewart numbers
Sort
View
DILS
2006
Springer
15 years 10 months ago
Towards a Model of Provenance and User Views in Scientific Workflows
Scientific experiments are becoming increasingly large and complex, with a commensurate increase in the amount and complexity of data generated. Data, both intermediate and final r...
Shirley Cohen, Sarah Cohen Boulakia, Susan B. Davi...
ECAI
2006
Springer
15 years 10 months ago
A Solver for QBFs in Nonprenex Form
Various problems in AI can be solved by translating them into a quantified boolean formula (QBF) and evaluating the resulting encoding. In this approach, a QBF solver is used as a ...
Uwe Egly, Martina Seidl, Stefan Woltran
EDBTW
2006
Springer
15 years 10 months ago
Dynamic Plan Migration for Snapshot-Equivalent Continuous Queries in Data Stream Systems
A data stream management system executes a large number of continuous queries in parallel. As stream characteristics and query workload change over time, the plan initially install...
Jürgen Krämer, Yin Yang, Michael Cammert...
ESA
2006
Springer
130views Algorithms» more  ESA 2006»
15 years 10 months ago
Robust, Generic and Efficient Construction of Envelopes of Surfaces in Three-Dimensional Spaces
Lower envelopes are fundamental structures in computational geometry, which have many applications, such as computing general Voronoi diagrams and performing hidden surface removal...
Michal Meyerovitch
EUC
2006
Springer
15 years 10 months ago
Cross-Layer Duty Cycle Scheduling with Data Aggregation Routing in Wireless Sensor Networks
Abstract. Well-scheduled communications, in conjunction with the aggregation of data reduce the energy waste on idle listening and redundant transmissions. In addition, the adjusta...
Yean-Fu Wen, Frank Yeong-Sung Lin
« Prev « First page 1268 / 1555 Last » Next »