Sciweavers

6693 search results - page 428 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
APLAS
2004
ACM
16 years 1 months ago
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type
There are two ways to write a program for manipulating tree-structured data such as XML documents: One is to write a tree-processing program focusing on the logical structure of t...
Koichi Kodama, Kohei Suenaga, Naoki Kobayashi
ISLPED
2003
ACM
85views Hardware» more  ISLPED 2003»
16 years 26 days ago
ILP-based optimization of sequential circuits for low power
The power consumption of a sequential circuit can be reduced by decomposing it into subcircuits which can be turned off when inactive. Power can also be reduced by careful state e...
Feng Gao, John P. Hayes
TCAD
2010
133views more  TCAD 2010»
15 years 2 months ago
Defect-Tolerant Design and Optimization of a Digital Microfluidic Biochip for Protein Crystallization
Protein crystallization is a commonly used technique for protein analysis and subsequent drug design. It predicts the 3-D arrangement of the constituent amino acids, which in turn ...
Tao Xu, Krishnendu Chakrabarty, Vamsee K. Pamula
ICSE
2012
IEEE-ACM
13 years 10 months ago
Synthesizing API usage examples
Abstract—Key program interfaces are sometimes documented with usage examples: concrete code snippets that characterize common use cases for a particular data type. While such doc...
Raymond P. L. Buse, Westley Weimer
ECCV
2004
Springer
16 years 9 months ago
Monocular 3D Reconstruction of Human Motion in Long Action Sequences
Abstract. A novel algorithm is presented for the 3D reconstruction of human action in long (> 30 second) monocular image sequences.A sequence is represented by a small set of au...
Gareth Loy, Martin Eriksson, Josephine Sullivan, S...