3591 search results - page 161 / 719 » Typing linear constraints |
140
click to vote
CHARME
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
164
click to vote
JMLR
2008
15 years 5 months ago
2008
The support vector machine has been successful in a variety of applications. Also on the theoretical front, statistical properties of the support vector machine have been studied ...
154
click to vote
CSDA
2007
15 years 5 months ago
2007
Redundancy analysis (RA) is a versatile technique used to predict multivariate criterion variables from multivariate predictor variables. The reduced-rank feature of RA captures r...
161
click to vote
JMLR
2006
15 years 5 months ago
2006
We apply a type of generative modelling to the problem of blind source separation in which prior knowledge about the latent source signals, such as time-varying auto-correlation a...
139
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...