3358 search results - page 34 / 672 » Parametric Aspects: A Proposal |
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
Directional Audio Coding (DirAC) represents an efficient scheme to analyze and reproduce spatial sound; the coded stream consists of a single-channel audio signal and few paramet...
ICFP
2009
ACM
14 years 10 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
ATVA
2004
Springer
14 years 3 months ago
2004
Springer
Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, ...
MICCAI
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. In this paper, we present algorithms to automatically detect and match landmark curves on cortical surfaces to get an optimized brain conformal parametrization. First, we...
IJFCS
2006
13 years 10 months ago
2006
ion for Parametric Time-Interval Automata Akio Nakata, Tadaaki Tanimoto, Suguru Sasaki, Teruo Higashino Department of Information Networking, Graduate School of Information Science...