Sciweavers

4770 search results - page 53 / 954
» Flexible Type Analysis
Sort
View
124
Voted
ICDAR
2003
IEEE
15 years 9 months ago
A Flexible Recognition Engine for Complex On-line Handwritten Character Recognition
A major feature of new mobiles terminals using penbased interfaces, such as personal assistants or e-book, is their personal character, implying that a good interface should be ea...
Sanparith Marukatat, Rudy Sicard, Thierry Arti&egr...
127
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Joint source-filter modeling using flexible basis functions
Improving on recent work on joint source-filter analysis of speech waveforms, we explore improvements to an autoregressive model with exogenous inputs represented by flexible ba...
Daryush D. Mehta, Daniel Rudoy, Patrick J. Wolfe
LPAR
2010
Springer
15 years 1 months ago
Verifying Pointer and String Analyses with Region Type Systems
Pointer analysis statically approximates the heap pointer structure during a program execution in order to track heap objects or to establish alias relations between references, a...
Lennart Beringer, Robert Grabowski, Martin Hofmann
SOFSEM
1998
Springer
15 years 8 months ago
Determining Type of TIL Construction with Verb Valency Analyser
In our paper we discuss an approach to semiautomatic corpus processing aimed at analysing verb valencies in Czech and consecutive determining the type of TIL (Transparent Intension...
Pavel Smrz, Ales Horák
130
Voted
APLAS
2008
ACM
15 years 5 months ago
Sound and Complete Type Inference for a Systems Programming Language
This paper introduces a new type system designed for safe systems programming. The type system features a new mutability model that combines unboxed types with a consistent typing ...
Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smi...