Sciweavers

1382 search results - page 103 / 277
» Formal Analysis of Online Algorithms
Sort
View
WEBI
2007
Springer
16 years 6 days ago
K-SVMeans: A Hybrid Clustering Algorithm for Multi-Type Interrelated Datasets
Identification of distinct clusters of documents in text collections has traditionally been addressed by making the assumption that the data instances can only be represented by ...
Levent Bolelli, Seyda Ertekin, Ding Zhou, C. Lee G...
EGPGV
2004
Springer
165views Visualization» more  EGPGV 2004»
15 years 11 months ago
Tuning of Algorithms for Independent Task Placement in the Context of Demand-Driven Parallel Ray Tracing
This paper investigates assignment strategies (load balancing algorithms) for process farms which solve the problem of online placement of a constant number of independent tasks w...
Tomas Plachetka
FTTCS
2006
132views more  FTTCS 2006»
15 years 6 months ago
Algorithms and Data Structures for External Memory
Data sets in large applications are often too massive to fit completely inside the computer's internal memory. The resulting input/output communication (or I/O) between fast ...
Jeffrey Scott Vitter
FM
2009
Springer
104views Formal Methods» more  FM 2009»
16 years 20 days ago
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
Helmut Seidl, Vesal Vojdani, Varmo Vene
EXPERT
2008
108views more  EXPERT 2008»
15 years 6 months ago
Case-Based Plan Adaptation: An Analysis and Review
: In this article we analyze the current state of case-based plan adaptation research. We include the traditional distinction between transformational and derivational analogy but ...
Héctor Muñoz-Avila, Michael T. Cox