499 search results - page 26 / 100 » A Dynamic-Programming Based ASP-Solver |
BIBE
2000
IEEE
14 years 2 months ago
2000
IEEE
We present a theoretically founded framework for fuzzy unification and resolution based on edit distance over trees. Our framework extends classical unification and resolution con...
HYBRID
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. In this paper we present a dynamic programming formulation of a hybrid optimal control problem for bimodal systems with regional dynamics. In particular, based on optimal...
IEEESCC
2009
IEEE
13 years 8 months ago
2009
IEEE
In this paper we look at combining and compressing a set of workflows, such that computation can be minimized. In this context, we look at two novel theoretical problems with appl...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
One of the main issues in the design of sensor networks is energy efficient communication of time-critical data. Energy wastage can be caused by failed packet transmission attempts...
ICASSP
2011
IEEE
13 years 2 months ago
2011
IEEE
This paper presents a rapid voice adaptation algorithm using GMM-based frequency warping and shift with parameters of a subband basis spectrum model (SBM)[1]. The SBM parameter re...