3708 search results - page 292 / 742 » The Inverse Classification Problem |
174
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
We present a multi-context focused sequent calculus whose derivations are in bijective correspondence with normal natural deductions in the propositional fragment of the intuitioni...
172
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Recent successful techniques for the efficient simulation of largescale interconnect models rely on the sparsification of the inverse of the inductance matrix L. While there are...
142
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
—This article presents two methods for open-loop river flow control, based on a classical hydraulic model (the Hayami model, a partial differential equation resulting from a sim...
153
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
to appear in Proc. IEEE Int’l Conf. on Acoustics, Speech, and Signal Processing, March, 2008 High-dynamic-range medical images take intensity values which cannot be visualized o...
192
click to vote
IROS
2008
IEEE
16 years 1 months ago
2008
IEEE
— We present a probabilistic architecture for solving generically the problem of extracting the task constraints through a Programming by Demonstration (PbD) framework and for ge...