5105 search results - page 213 / 1021 » Approximate Structural Consistency |
128
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
127
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
Algorithm of magnetic structure extraction and analysis in ultra thin magnetic film images is proposed. This algorithm allows to gain successful results and calculates a large num...
145
click to vote
CAISE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Industry is increasingly demanding IT support for large engineering processes, i.e., process structures consisting of hundreds up to thousands of processes. Developing a ...
153
click to vote
EVOW
2004
Springer
15 years 9 months ago
2004
Springer
We present an algorithm for identifying putative non-coding RNA (ncRNA) using an RCSG (RNA Common-Structural Grammar) and show the effectiveness of the algorithm. The algorithm con...
142
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— Network reconstruction, i.e., obtaining network structure from data, is a central theme in systems biology, economics, and engineering. Previous work introduced dynamical struc...