Sciweavers

1478 search results - page 202 / 296
» Modular Complexity Analysis via Relative Complexity
Sort
View
CADE
2010
Springer
13 years 11 months ago
A Slice-Based Decision Procedure for Type-Based Partial Orders
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
W2GIS
2007
Springer
14 years 4 months ago
Towards the Geo-spatial Querying of the Semantic Web with ONTOAST
One of the challenges raised by the construction of the semantic Web lies in the analysis and management of complex relationships (thematic, spatial and temporal) connecting severa...
Alina Dia Miron, Jérôme Gensel, Marl&...
ICPR
2004
IEEE
14 years 11 months ago
Estimating the Stretching Characteristics of Fiber Bundles in Microscopic Images
Collagen fiber bundles are important constituent parts of biological soft tissues, such as tendons, blood vessels and skin.The single collagen fibers within a bundle have a certai...
Gerhard Holzapfel, Horst Bischof, Pierre Elbischge...
ISIPTA
2005
IEEE
155views Mathematics» more  ISIPTA 2005»
14 years 3 months ago
Estimation of Chaotic Probabilities
A Chaotic Probability model is a usual set of probability measures, M, the totality of which is endowed with an objective, frequentist interpretation as opposed to being viewed as...
Leandro Chaves Rêgo, Terrence L. Fine
PAMI
2000
113views more  PAMI 2000»
13 years 10 months ago
Hierarchical Discriminant Regression
This paper presents a new technique which incrementally builds a hierarchical discriminant regression (IHDR) tree for generation of motion based robot reactions. The robot learned...
Wey-Shiuan Hwang, Juyang Weng