13591 search results - page 362 / 2719 » On the Implementation of Dynamic Evaluation |
192
click to vote
OPODIS
2007
15 years 8 months ago
2007
This paper presents Timed Quorum System (TQS), a quorum system for large-scale and dynamic systems. TQS provides guarantees that two quorums, accessed at instances of time that are...
185
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We address here two major challenges presented by dynamic data mining: 1) the stability challenge: we have implemented a rigorous incremental density-based clustering algorithm, i...
179
Voted
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we describe the fully dynamic semantic portal we implemented, integrating Semantic Web technologies and Service Oriented Architecture (SOA). The goals of the portal...
195
click to vote
FCCM
2006
IEEE
16 years 28 days ago
2006
IEEE
Abstract— This paper introduces a novel architecture for performing the core computations required by dynamic programming (DP) techniques. The latter pertain to a vast range of a...
175
click to vote
PASTE
2004
ACM
16 years 8 days ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...