4894 search results - page 257 / 979 » The Guarding Problem - Complexity and Approximation |
197
click to vote
ICASSP
2007
IEEE
16 years 28 days ago
2007
IEEE
Sparse coding is a new field in signal processing with possible applications to source coding. In this paper we present a new method that combines the problems of sparse signal a...
217
click to vote
PG
2007
IEEE
16 years 26 days ago
2007
IEEE
Developable surfaces have many desired properties in manufacturing process. Since most existing CAD systems utilize parametric surfaces as the design primitive, there is a great d...
233
click to vote
FOCS
2005
IEEE
16 years 6 days ago
2005
IEEE
At the core of the seminal Graph Minor Theory of Robertson and Seymour is a powerful structural theorem capturing the structure of graphs excluding a fixed minor. This result is ...
175
click to vote
ECML
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present first experiments using Support Vector Regression as function approximator for an on-line, sarsa-like reinforcement learner. To overcome the batch nature of S...
170
click to vote
VMCAI
2004
Springer
15 years 12 months ago
2004
Springer
In this paper we deal with the problem of applying model checking to real programs. We verify a program without constructing the whole transition system using a technique based on...