Sciweavers

1494 search results - page 140 / 299
» Bottom-Up Shape Analysis
Sort
View
CVPR
2009
IEEE
16 years 11 months ago
A Projective Framework for Radiometric Image Analysis
Different materials reflect light in different ways, and reflectance interacts with shape, lighting, and viewpoint to determine an object’s image. Common materials exhibit dive...
Ping Tan (National University of Singapore), Todd ...
BIOTECHNO
2008
IEEE
15 years 10 months ago
Exploiting Codon-Triplets Association for Genome Primary Structure Analysis
— The way evolution shapes the arrangement of synonymous codons within open reading frames (ORF) for fine tuning mRNA decoding efficiency is not yet understood. Since the ribosom...
José P. Lousado, Gabriela R. Moura, Manuel ...
137
Voted
IPPS
2006
IEEE
15 years 10 months ago
An overview of the Jahob analysis system: project goals and current status
We present an overview of the Jahob system for modular analysis of data structure properties. Jahob uses a subset of Java as the implementation language and annotations with formu...
Viktor Kuncak, Martin C. Rinard
SAS
2004
Springer
103views Formal Methods» more  SAS 2004»
15 years 9 months ago
A Scalable Nonuniform Pointer Analysis for Embedded Programs
Abstract. In this paper we present a scalable pointer analysis for embedded applications that is able to distinguish between instances of recursively defined data structures and e...
Arnaud Venet
ICRA
2005
IEEE
174views Robotics» more  ICRA 2005»
15 years 9 months ago
Kinematics and Dexterity Analysis for a Novel 3-DOF Translational Parallel Manipulator
— A new three degrees of freedom translational parallel manipulator (TPM) with fixed actuators, called a general 3-PRC TPM, is proposed in this paper. The mobility of the manipu...
Yangmin Li, Qingsong Xu