5456 search results - page 518 / 1092 » A study of Object Evolution |
166
click to vote
CIE
2005
Springer
16 years 17 days ago
2005
Springer
In this work we focus on a formalisation of the algorithms of lazy exact arithmetic `a la Potts and Edalat [1]. We choose the constructive type theory as our formal verification t...
194
click to vote
FSTTCS
2005
Springer
16 years 17 days ago
2005
Springer
Abstract. We consider a generalization of the set cover problem, in which elements are covered by pairs of objects, and we are required to find a minimum cost subset of objects th...
184
click to vote
PCI
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Given two datasets DA and DB the closest-pair query (CPQ) retrieves the pair (a,b), where a ∈ DA and b ∈ DB, having the smallest distance between all pairs of objects...
154
click to vote
ESA
2004
Springer
16 years 13 days ago
2004
Springer
Many network applications that need to distribute content and data to a large number of clients use a hybrid scheme in which one (or more) multicast channel is used in parallel to...
193
click to vote
PKDD
2004
Springer
16 years 12 days ago
2004
Springer
Abstract. People recently are interested in a new operator, called skyline [3], which returns the objects that are not dominated by any other objects with regard to certain measure...