1129 search results - page 42 / 226 » Modular Ranking Abstraction |
JCSS
2007
13 years 7 months ago
2007
We consider the problem of counting the number of lattice vectors of a given length and prove several results regarding its computational complexity. We show that the problem is ā...
SIGIR
2008
ACM
13 years 7 months ago
2008
ACM
Clustering hypertext document collection is an important task in Information Retrieval. Most clustering methods are based on document content and do not take into account the hype...
VMCAI
2009
Springer
14 years 2 months ago
2009
Springer
We present the ļ¬rst shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
SLE
2009
Springer
14 years 2 months ago
2009
Springer
Modularisation can reduce the effort in designing and maintaining language speciļ¬cations. Existing approaches to language modularisation are typically either focused on language ...
ESOP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...