1199 search results - page 117 / 240 » Parameterized Proof Complexity |
INFORMATICALT
2010
13 years 8 months ago
2010
In the presented paper, some issues of the fundamental classical mechanics theory in the sense of Ising physics are introduced into the applied neural network area. The expansion o...
MST
2010
13 years 8 months ago
2010
Abstract We prove that Polynomial Calculus and Polynomial Calculus with Resolution are not automatizable, unless W[P]-hard problems are fixed parameter tractable by one-side error...
ICCV
1999
IEEE
14 years 11 months ago
1999
IEEE
We present an algorithm that extracts curves from a set of edgels within a specific class in a decreasing order of their ``length''. The algorithm inherits the perceptual...
ICASSP
2009
IEEE
14 years 4 months ago
2009
IEEE
The problem under study here is the minimax design of linearphase lowpass FIR filters having variable passband width and implemented through a Farrow structure. We have two main ...
ICRA
2008
IEEE
14 years 4 months ago
2008
IEEE
— In order to perform coronary artery bypass graft surgery, a stationary heart is necessary. A human cannot achieve manual tracking of the complex heartbeat motion. Robotics tech...