1690 search results - page 23 / 338 » Algorithmic Properties of Millstream Systems |
128
Voted
DEXA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The development of scalable parallel database systems requires the design of efficient algorithms for the join operation which is the most frequent and expensive operatio...
114
Voted
ISNN
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Compared to normal learning algorithms, for example backpropagation, the optimal bounded ellipsoid (OBE) algorithm has some better properties, such as faster convergence,...
118
Voted
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
We pose partitioning a b-bit Internet Protocol (IP) address space as a supervised learning task. Given (IP, property) labeled training data, we develop an IP-specific clustering a...
155
Voted
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract-We study the well known linear consensus algorithm by means of a LQ-type performance cost. We want to understand how the communication topology influences this algorithm. ...
103
Voted
TPHOL
2003
IEEE
15 years 9 months ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...