Sciweavers

11808 search results - page 335 / 2362
» Isometries and Computability Structures
Sort
View
BMCBI
2008
145views more  BMCBI 2008»
15 years 6 months ago
Directed acyclic graph kernels for structural RNA analysis
Background: Recent discoveries of a large variety of important roles for non-coding RNAs (ncRNAs) have been reported by numerous researchers. In order to analyze ncRNAs by kernel ...
Kengo Sato, Toutai Mituyama, Kiyoshi Asai, Yasubum...
MFCS
2007
Springer
16 years 22 days ago
Properties Complementary to Program Self-reference
In computability theory, program self-reference is formalized by the not-necessarily-constructive form of Kleene’s Recursion Theorem (krt). In a programming system in which krt h...
John Case, Samuel E. Moelius
ICCV
2007
IEEE
16 years 8 months ago
Mixture-of-Parts Pictorial Structures for Objects with Variable Part Sets
For many multi-part object classes, the set of parts can vary not only in location but also in type. For example, player formations in American football involve various subsets of...
Robin Hess, Alan Fern, Eric N. Mortensen
ECCV
2006
Springer
16 years 8 months ago
Detecting Instances of Shape Classes That Exhibit Variable Structure
This paper proposes a method for detecting instances of shape classes that exhibit variable structure. The term "variable structure" is used to characterize shape classes...
Vassilis Athitsos, Jingbin Wang, Stan Sclaroff, Ma...
EMSOFT
2004
Springer
15 years 12 months ago
Approximation of the worst-case execution time using structural analysis
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
Matteo Corti, Thomas R. Gross