1785 search results - page 265 / 357 » Framework of Agile Patterns |
99
Voted
CADE
2004
Springer
16 years 1 months ago
2004
Springer
Deduction modulo is a theoretical framework for reasoning modulo a congruence on propositions. Computational steps are thus removed from proofs, thus allowing a clean separatation...
216
click to vote
VLDB
2006
ACM
16 years 1 months ago
2006
ACM
Managing large-scale time series databases has attracted significant attention in the database community recently. Related fundamental problems such as dimensionality reduction, tr...
194
click to vote
VLDB
2007
ACM
16 years 1 months ago
2007
ACM
In an outsourced data framework, we introduce and demonstrate mechanisms for securely storing a set of data items (documents) on an un-trusted server, while allowing for subsequen...
177
click to vote
SIGMOD
2005
ACM
16 years 27 days ago
2005
ACM
The recent advances in hardware and software have enabled the capture of different measurements of data in a wide range of fields. These measurements are generated continuously an...
245
click to vote
SIGMOD
2005
ACM
16 years 27 days ago
2005
ACM
Given a set of objects P and a query point q, a k nearest neighbor (k-NN) query retrieves the k objects in P that lie closest to q. Even though the problem is well-studied for sta...