1690 search results - page 292 / 338 » Algorithmic Properties of Millstream Systems |
107
Voted
KDD
2007
ACM
16 years 1 months ago
2007
ACM
This work studies the problem of distributed classification in peer-to-peer (P2P) networks. While there has been a significant amount of work in distributed classification, most o...
135
click to vote
FMSD
2007
15 years 20 days ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
238
click to vote
PADL
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. PADS is a declarative language used to describe the syntax and semantic properties of ad hoc data sources such as financial transactions, server logs and scientific data ...
113
Voted
KDD
2009
ACM
16 years 1 months ago
2009
ACM
In recent years, the number of patents filed by the business enterprises in the technology industry are growing rapidly, thus providing unprecedented opportunities for knowledge d...
111
click to vote
PODS
2008
ACM
16 years 26 days ago
2008
ACM
A fundamental problem in distributed computation is the distributed evaluation of functions. The goal is to determine the value of a function over a set of distributed inputs, in ...