Sciweavers

3001 search results - page 80 / 601
» Recursive type generativity
Sort
View
TLDI
2003
ACM
108views Formal Methods» more  TLDI 2003»
15 years 7 months ago
Inferring annotated types for inter-procedural register allocation with constructor flattening
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
Torben Amtoft, Robert Muller
BCB
2010
166views Bioinformatics» more  BCB 2010»
14 years 9 months ago
Fast graph approaches to measure influenza transmission across geographically distributed host types
Recent advances in next generation sequencing are providing a number of large whole-genome sequence datasets stemming from globally distributed disease occurrences. This offers an...
Adrienne Breland, Karen Schlauch, Mehmet Hadi Gune...
114
Voted
ROBOCUP
2004
Springer
138views Robotics» more  ROBOCUP 2004»
15 years 7 months ago
An Algorithm That Recognizes and Reproduces Distinct Types of Humanoid Motion Based on Periodically-Constrained Nonlinear PCA
Abstract. This paper proposes a new algorithm for the automatic segmentation of motion data from a humanoid soccer playing robot that allows feedforward neural networks to generali...
Rawichote Chalodhorn, Karl F. MacDorman, Minoru As...
COLING
1996
15 years 3 months ago
Mental State Adjectives: the Perspective of Generative Lexicon
This paper focusses on mental state adjectives and offers a unified analysis in the theory of Generative Lexicon (Pustejovsky, 1991, 1995). We show that, instead of enumerating th...
Pierrette Bouillon
ICASSP
2009
IEEE
15 years 9 months ago
Incorporating spectral subtraction and noise type for unvoiced speech segregation
Unvoiced speech poses a big challenge to current monaural speech segregation systems. It lacks harmonic structure and is highly susceptible to interference due to its relatively w...
Ke Hu, DeLiang Wang