2373 search results - page 80 / 475 » On the Theory of Structural Subtyping |
177
click to vote
GBRPR
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we present a novel graph construction method and demonstrate its usage in a broad range of applications starting from a relatively simple single-surface segmentation...
243
click to vote
SCP
2011
15 years 1 months ago
2011
A definitional extension LNGMIt of the Calculus of Inductive Constructions (CIC), that underlies the proof assistant Coq, is presented that allows also to program with nested dat...
138
click to vote
COLING
1996
15 years 7 months ago
1996
hfformation structure can be of great use in linguistic applications, especially in those involving a speech component. However, focus marking by prosody is often ambiguous. Exist...
128
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: A protein structural class (PSC) belongs to the most basic but important classification in protein structures. The prediction technique of protein structural class has...
147
click to vote
SIAMDM
2010
15 years 1 months ago
2010
We investigate algebraic structures that can be placed on vertices of the multiplihedra, a family of polytopes originating in the study of higher categories and homotopy theory. Mo...