536 search results - page 94 / 108 » A computer verified, monadic, functional implementation of t... |
117
click to vote
WECWIS
1999
IEEE
15 years 4 months ago
1999
IEEE
Internet business has grown at an unprecedented rate in the past several years. Recent research has found that the functions provided by a store have a significant impact on custo...
ICWN
2007
15 years 1 months ago
2007
— Management of power and other resources that effect field life is an important consideration in sensor networks. This paper presents and compares alternative agent paradigms ap...
PVLDB
2010
14 years 10 months ago
2010
Entity linkage is central to almost every data integration and data cleaning scenario. Traditional techniques use some computed similarity among data structure to perform merges a...
176
click to vote
VLDB
2004
ACM
15 years 12 months ago
2004
ACM
Ranking queries produce results that are ordered on some computed score. Typically, these queries involve joins, where users are usually interested only in the top-k join results....
DAC
2008
ACM
16 years 21 days ago
2008
ACM
As integrated circuit technology plumbs ever greater depths in the scaling of feature sizes, maintaining the paradigm of deterministic Boolean computation is increasingly challeng...