Sciweavers

4911 search results - page 369 / 983
» Tree dependence analysis
Sort
View
POPL
2008
ACM
16 years 5 months ago
Relational inductive shape analysis
alyses are concerned with precise abstractions of the heap to capture detailed structural properties. To do so, they need to build and decompose summaries of disjoint memory regio...
Bor-Yuh Evan Chang, Xavier Rival
153
Voted
BMCBI
2008
153views more  BMCBI 2008»
15 years 5 months ago
Version VI of the ESTree db: an improved tool for peach transcriptome analysis
Background: The ESTree database (db) is a collection of Prunus persica and Prunus dulcis EST sequences that in its current version encompasses 75,404 sequences from 3 almond and 1...
Barbara Lazzari, Andrea Caprera, Alberto Vecchiett...
ICCV
2007
IEEE
16 years 7 months ago
A Tool for Topographic Analysis of Electrode Contacts in Human Cortical Stimulation
Electric chronic stimulation of the human motor cortex (ECSM) has been reported to alleviate chronic severe pain. However the mechanism of action of ECSM is still hypothetical. Th...
Jean-Marie Favreau, Simone Hemm, Christophe Nuti, ...
ICFP
2003
ACM
16 years 5 months ago
Iterative-free program analysis
Program analysis is the heart of modern compilers. Most control flow analyses are reduced to the problem of finding a fixed point in a certain transition system, and such fixed po...
Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano
CAIP
2009
Springer
221views Image Analysis» more  CAIP 2009»
15 years 11 months ago
Model Based Analysis of Face Images for Facial Feature Extraction
This paper describes a comprehensive approach to extract a common feature set from the image sequences. We use simple features which are easily extracted from a 3D wireframe model ...
Zahid Riaz, Christoph Mayer, Michael Beetz, Bernd ...