7961 search results - page 205 / 1593 » Input-Output Model Programs |
77
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
96
Voted
ICLP
2003
Springer
15 years 8 months ago
2003
Springer
99
Voted
UM
2009
Springer
15 years 8 months ago
2009
Springer
139
Voted
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
Accurately predicting program behaviors (e.g., locality, dependency, method calling frequency) is fundamental for program optimizations and runtime adaptations. Despite decades of...
120
Voted
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...