443 search results - page 2 / 89 » More on the Size of Higman-Haines Sets: Effective Constructi... |
CSL
2005
Springer
13 years 11 months ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
ICIP
2006
IEEE
14 years 7 months ago
2006
IEEE
We propose an integral image based algorithm to extract feature covariance matrices of all possible rectangular regions within a given image. Covariance is an essential indicator ...
INFORMATICALT
2007
13 years 5 months ago
2007
The rapid development of network technologies has made the web a huge information source with its own characteristics. In most cases, traditional database-based technologies are no...
PAA
2007
13 years 4 months ago
2007
Feature selection methods are often used to determine a small set of informative features that guarantee good classification results. Such procedures usually consist of two compon...
IM
2007
13 years 5 months ago
2007
We present a peer-to-peer service management middleware that dynamically allocates system resources to a large set of applications. The system achieves scalability in number of no...