4037 search results - page 81 / 808 » Routing without ordering |
ACL
1997
13 years 10 months ago
1997
In this paper, we describe a method for automatically retrieving collocations from large text corpora. This method retrieve collocations in the following stages: 1) extracting str...
IFL
2003
Springer
14 years 2 months ago
2003
Springer
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...
TPHOL
1997
IEEE
14 years 1 months ago
1997
IEEE
Type classes and overloading are shown to be independent concepts that can both be added to simple higher-order logics in the tradition of Church and Gordon, without demanding more...
LICS
1995
IEEE
14 years 18 days ago
1995
IEEE
The decision problem is studied for fragments of second-order linear logic without modalities. It is shown that the structural rules of contraction and weakening may be simulated ...
EJASP
2010
13 years 3 months ago
2010
This paper presents a linear high-order distributed average consensus (DAC) algorithm for wireless sensor networks. The average consensus property and convergence rate of the high...