11808 search results - page 277 / 2362 » Isometries and Computability Structures |
146
click to vote
WIOPT
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract— The inherent nature of the physical setup and transmission mechanism in wireless ad hoc networks with random channel access, results in correlation between the link met...
173
click to vote
CPM
2008
Springer
15 years 7 months ago
2008
Springer
We present an algorithm for computing the edit distance of two RNA structures with arbitrary kinds of pseudoknots. A main benefit of the algorithm is that, despite the problem is N...
147
click to vote
COLING
1994
15 years 7 months ago
1994
In this paper, we propose an automatic method for detecting discourse structure using a variety of clues existing in the surface information of sentences. We have considered three...
132
click to vote
COLING
1990
15 years 7 months ago
1990
2 This paper analyzes the structural features of naturally-occurring extended explanations and argues that current generation methodologies are inadequate for determining high-leve...
161
click to vote
MSCS
2008
15 years 5 months ago
2008
Subtyping for inductive types in dependent type theories is studied in the framework of coercive subtyping. General structural subtyping rules for parameterised inductive types ar...