29 search results - page 6 / 6 » Faster Algorithms for Constructing a Concept (Galois) Lattic... |
ACTA
2000
13 years 5 months ago
2000
Thesaurus is a collection of words classified according to some relatedness measures among them. In this paper, we lay the theoretical foundations of thesaurus construction through...
MTA
2006
13 years 5 months ago
2006
In this paper, an object-based video retrieval methodology for search in large, heterogeneous video collections is presented. The proposed approach employs a real-time, compressed-...
TACAS
2010
Springer
14 years 9 days ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
PLDI
2005
ACM
13 years 11 months ago
2005
ACM
This paper introduces the concept of programming with sketches, an approach for the rapid development of high-performance applications. This approach allows a programmer to write ...