51 search results - page 7 / 11 » Constraint-Based Linear-Relations Analysis |
124
click to vote
SIAMCO
2010
14 years 8 months 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...
117
Voted
ENTCS
2010
14 years 8 months 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...
112
Voted
ECOOP
2004
Springer
15 years 7 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...
94
Voted
ICMCS
2006
IEEE
15 years 7 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...
111
click to vote
CVPR
2007
IEEE
16 years 3 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...