Sciweavers

11030 search results - page 310 / 2206
» Generative Sound Models
Sort
View
147
Voted
ECOOP
2010
Springer
15 years 11 months ago
Essential AOP: The A Calculus
Abstract. Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification wit...
Bruno De Fraine, Erik Ernst, Mario Südholt
POPL
1991
ACM
15 years 10 months ago
Subtyping Recursive Types
We investigate the interactions of subtyping and recursive types, in a simply typed λ-calculus. The two fundamental questions here are whether two (recursive) types are in the su...
Roberto M. Amadio, Luca Cardelli
BILDMED
2009
107views Algorithms» more  BILDMED 2009»
15 years 7 months ago
Towards an Estimation of Acoustic Impedance from Multiple Ultrasound Images
Abstract. Reflection of sound waves, due to acoustic impedance mismatch at the interface of two media, is the principal physical property which allows visualization with ultrasound...
Christian Wachinger, Ramtin Shams, Nassir Navab
TASLP
2010
106views more  TASLP 2010»
15 years 1 months ago
Efficient and Robust Music Identification With Weighted Finite-State Transducers
We present an approach to music identification based on weighted finite-state transducers and Gaussian mixture models, inspired by techniques used in large-vocabulary speech recogn...
Mehryar Mohri, Pedro Moreno, Eugene Weinstein
SCP
2000
119views more  SCP 2000»
15 years 6 months ago
Automated compositional Markov chain generation for a plain-old telephone system
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
Holger Hermanns, Joost-Pieter Katoen