51 search results - page 7 / 11 » Constraint-Based Linear-Relations Analysis |
165
click to vote
SIAMCO
2010
15 years 11 days ago
2010
For discrete time nonlinear systems satisfying an exponential or finite time controllability assumption, we present an analytical formula for a suboptimality estimate for model pre...
165
click to vote
ENTCS
2010
15 years 14 days ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...
153
click to vote
ECOOP
2004
Springer
15 years 11 months ago
2004
Springer
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...
134
click to vote
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
An efficient speech synthesis method that uses subspace constraint in prosody is proposed. Conventional unit selection methods concatenate speech segments stored in database, tha...
155
click to vote
CVPR
2007
IEEE
16 years 7 months ago
2007
IEEE
In this paper, we investigate linear discriminant analysis (LDA) methods for multiclass classification problems in hyperspectral imaging. We note that LDA does not consider pairwi...