2638 search results - page 457 / 528 » Frameworks for Reasoning about Agent Based Systems |
303
click to vote
ISSTA
2012
ACM
13 years 8 months ago
2012
ACM
Multithreaded programs are notoriously prone to unintended interference between concurrent threads. To address this problem, we argue that yield annotations in the source code sho...
175
click to vote
ILP
2003
Springer
15 years 11 months ago
2003
Springer
RRL is a relational reinforcement learning system based on Q-learning in relational state-action spaces. It aims to enable agents to learn how to act in an environment that has no ...
139
click to vote
ICAIL
2009
ACM
15 years 11 months ago
2009
ACM
An overwhelming number of legal documents is available in digital form. However, most of the texts are usually only provided in a semi-structured form, i.e. the documents are stru...
198
click to vote
WICSA
2004
15 years 7 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
142
click to vote
WCRE
1993
IEEE
15 years 10 months ago
1993
IEEE
Recognizing commonly used data structures and algorithms is a key activity in reverse engineering. Systems developed to automate this recognition process have been isolated, stand...