4325 search results - page 837 / 865 » Incremental computation with names |
ICDT
2010
ACM
15 years 1 months ago
2010
ACM
Checking the correspondence between two or more database instances and enforcing it is a procedure widely used in practice without however having been explored from a theoretical ...
106
click to vote
ICIA
2007
15 years 1 months ago
2007
Tasks have been identified as playing an important role to knowledge workers as high-level units for organizing their information. TaskTracer is a task-aware desktop system that l...
91
Voted
USS
2008
15 years 1 months ago
2008
We address the problem of auditing an election when precincts may have different sizes. Prior work in this field has emphasized the simpler case when all precincts have the same s...
107
Voted
AUSAI
2008
Springer
15 years 26 days ago
2008
Springer
In recent years, there has been a cross-fertilization of ideas between computational neuroscience models of the operation of the neocortex and artificial intelligence models of mac...
109
Voted
DIM
2005
ACM
15 years 25 days ago
2005
ACM
Identity federation is a powerful scheme that links accounts of users maintained distinctly by different business partners. The concept of network identity is a driver for accele...