2638 search results - page 370 / 528 » Frameworks for Reasoning about Agent Based Systems |
174
click to vote
DAWAK
2009
Springer
15 years 11 months ago
2009
Springer
A process, based on argumentation theory, is described for classifying very noisy data. More specifically a process founded on a concept called “arguing from experience” is des...
195
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
192
click to vote
TREC
2008
15 years 8 months ago
2008
This paper describes our participation in the 2008 TREC Blog track. Our system consists of 3 components: data preprocessing, topic retrieval, and opinion finding. In the topic ret...
151
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
Hybrid systems such as those that combine 3D virtual worlds and organization based multiagent systems add new visual and communication features for multi-user applications. The des...
169
click to vote
PODS
2005
ACM
16 years 6 months ago
2005
ACM
Program analysis has been increasingly used in software engineering tasks such as auditing programs for security vulnerabilities and finding errors in general. Such tools often re...