1871 search results - page 329 / 375 » The Ephemeral Pairing Problem |
TLCA
2005
Springer
15 years 4 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...
WABI
2005
Springer
15 years 4 months ago
2005
Springer
In contrast to proteins, many classes of functionally related RNA molecules show a rather weak sequence conservation but instead a fairly well conserved secondary structure. Hence ...
FOCS
2003
IEEE
15 years 4 months ago
2003
IEEE
We consider the problem of clustering a collection of elements based on pairwise judgments of similarity and dissimilarity. Bansal, Blum and Chawla (in: Proceedings of 43rd FOCS, ...
101
click to vote
ICCAD
2003
IEEE
15 years 4 months ago
2003
IEEE
The impact of power supply integrity on a design has become a critical issue, not only for functional verification, but also for performance verification. Traditional analysis has...
SIGIR
2003
ACM
15 years 4 months ago
2003
ACM
This paper presents a novel domain-independent text segmentation method, which identifies the boundaries of topic changes in long text documents and/or text streams. The method c...