5624 search results - page 543 / 1125 » On Conditional Covering Problem |
182
click to vote
KR
1992
Springer
15 years 11 months ago
1992
Springer
We describe the ucpop partial order planning algorithm which handles a subset of Pednault's ADL action representation. In particular, ucpop operates with actions that have co...
176
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract-- This paper considers when a discrete-time periodic non-homogeneous system can be transformed to a time-invariant one by using regular linear mappings of state variables,...
159
click to vote
ICASSP
2009
IEEE
15 years 11 months ago
2009
IEEE
Monaural speech segregation in reverberant environments is a very difficult problem. We develop a supervised learning approach by proposing an objective function that directly rel...
142
click to vote
AISC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The Complete Root Classification for a univariate polynomial with symbolic coefficients is the collection of all the possible cases of its root classification, together w...
183
click to vote
TABLEAUX
2000
Springer
15 years 10 months ago
2000
Springer
We present an approach to inductive theorem proving that integrates rippling-based rewriting into matrix-based logical proof search. The selection of appropriate connections in a m...