5314 search results - page 105 / 1063 » Hybrid Dynamic Programming |
CAV
2008
Springer
14 years 3 days ago
2008
Springer
c Abstraction for Programs with Dynamic Memory Heaps Parosh Aziz Abdulla1 , Ahmed Bouajjani2 , Jonathan Cederberg1 , Fr
PLILP
1994
Springer
14 years 2 months ago
1994
Springer
Abstract. Program slicing is a useful technique for debugging, testing, and analyzing programs. A program slice consists of the parts of a program which (potentially) affect the va...
ATAL
2008
Springer
14 years 3 days ago
2008
Springer
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
UM
2005
Springer
14 years 3 months ago
2005
Springer
IFIP
2004
Springer
14 years 3 months ago
2004
Springer