315 search results - page 10 / 63 » Loop Termination Prediction |
ICEBE
2009
IEEE
13 years 5 months ago
2009
IEEE
Workflow management systems (WfMS) are widely used for improving business processes and providing better quality of services. However, rapid changes in business environment can ca...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
A central problem in artificial intelligence is to choose actions to maximize reward in a partially observable, uncertain environment. To do so, we must learn an accurate model of ...
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
RECOMB
1999
Springer
13 years 12 months ago
1999
Springer
BIOINFORMATICS
2004
13 years 7 months ago
2004