Sciweavers

1464 search results - page 242 / 293
» Thread-Modular Shape Analysis
Sort
View
POPL
2007
ACM
14 years 8 months ago
Variance analyses from invariance analyses
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
Josh Berdine, Aziem Chawdhary, Byron Cook, Dino Di...
ICDAR
2009
IEEE
14 years 2 months ago
A Framework for Adaptation of the Active-DTW Classifier for Online Handwritten Character Recognition
: © A Framework for Adaptation of the Active-DTW Classifier for Online Handwritten Character Recognition Vandana Roy, Sriganesh Madhvanath, Anand S., Raghunath R. Sharma HP Labora...
Vandana Roy, Sriganesh Madhvanath, Anand S., Ragun...
SIGGRAPH
1996
ACM
13 years 12 months ago
Interactive Multiresolution Surface Viewing
Multiresolution analysis has been proposed as a basic tool supporting compression, progressive transmission, and level-of-detail control of complex meshes in a unified and theoret...
Andrew Certain, Jovan Popovic, Tony DeRose, Tom Du...
BMCBI
2010
110views more  BMCBI 2010»
13 years 7 months ago
GenHtr: a tool for comparative assessment of genetic heterogeneity in microbial genomes generated by massive short-read sequenci
Background: Microevolution is the study of short-term changes of alleles within a population and their effects on the phenotype of organisms. The result of the below-species-level...
GongXin Yu
PAMI
2008
183views more  PAMI 2008»
13 years 7 months ago
Shape-and-Behavior Encoded Tracking of Bee Dances
Behavior analysis of social insects has garnered impetus in recent years and has led to some advances in fields like control systems, flight navigation etc. Manual labeling of ins...
Ashok Veeraraghavan, Rama Chellappa, Mandyam Srini...