1616 search results - page 82 / 324 » A Framework for Hybrid Planning |
144
click to vote
AAAI
2000
15 years 7 months ago
2000
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
160
click to vote
BMCBI
2008
15 years 6 months ago
2008
In this paper we present preliminary results stemming from a novel application of Markov Models and Support Vector Machines to splice site classification of Intron-Exon and Exon-I...
124
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
The suitability of voiceless fricative spectra for forensic voice comparison is explored within a Likelihood Ratio-based framework. Non-contemporaneous landline telephone recordin...
210
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
We combine mixed integer linear programming (MILP) and constraint programming (CP) to minimize tardiness in planning and scheduling. Tasks are allocated to facilities using MILP an...
157
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
In this presentation, we give an overview of research activities at the Department of Computing Science, Ume˚a University with focus on Scientific, Parallel and High-Performance...