2569 search results - page 209 / 514 » Approximate Objects and Approximate Theories |
250
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
We present a method of deriving Craig interpolants from proofs in the quantifier-free theory of linear inequality and uninterpreted function symbols, and an interpolating theorem...
138
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, a new method of composing a multiclass classifier using pairwise classifiers is proposed. A “Resemblance Model” is exploited to calculate a posteriori probabili...
174
click to vote
JSAI
2001
Springer
15 years 11 months ago
2001
Springer
This paper investigates the methodological foundations of a new research field called chance discovery which aims to detect future opportunities and risks. By drawing on concepts...
158
click to vote
ISIPTA
1999
IEEE
15 years 10 months ago
1999
IEEE
A solution is provided to the problem of computing a convex set of conditional probability distributions that characterize the state of a nonlinear dynamic system as it evolves in...
161
click to vote
ARC
2008
Springer
15 years 6 months ago
2008
Springer
: This paper describes the theory of feedback control in the class inputs which allow delta-functions and their derivatives. It indicates a modification of dynamic programming tech...