Sciweavers

8249 search results - page 1321 / 1650
» The DBO database system
Sort
View
EUROPAR
2005
Springer
16 years 1 months ago
Consistent Data Replication: Is It Feasible in WANs?
Abstract. Recent proposals have shown that database replication providing 1copy-serializability can have excellent performance in LAN environments by using powerful multicast primi...
Yi Lin, Bettina Kemme, Marta Patiño-Mart&ia...
176
Voted
ISMIR
2005
Springer
124views Music» more  ISMIR 2005»
16 years 1 months ago
Symbolic Representation of Musical Chords: A Proposed Syntax for Text Annotations
In this paper we propose a text represention for musical chord symbols that is simple and intuitive for musically trained individuals to write and understand, yet highly structure...
Christopher Harte, Mark B. Sandler, Samer A. Abdal...
ISMIS
2005
Springer
16 years 1 months ago
Incremental Collaborative Filtering for Highly-Scalable Recommendation Algorithms
Most recommendation systems employ variations of Collaborative Filtering (CF) for formulating suggestions of items relevant to users’ interests. However, CF requires expensive co...
Manos Papagelis, Ioannis Rousidis, Dimitris Plexou...
190
Voted
LCPC
2005
Springer
16 years 1 months ago
Parallelization of Utility Programs Based on Behavior Phase Analysis
Abstract. With the fast development of multi-core processors, automatic parallelization becomes increasingly important. In this work, we focus on the parallelization of utility pro...
Xipeng Shen, Chen Ding
LPAR
2005
Springer
16 years 1 months ago
Automating Coherent Logic
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
Marc Bezem, Thierry Coquand
« Prev « First page 1321 / 1650 Last » Next »