4617 search results - page 320 / 924 » Automation of Diagrammatic Reasoning |
161
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
We address the problem of analyzing programs such as J2ME midlets for mobile devices, where a central correctness requirement concerns confidentiality of data that the user wants t...
179
click to vote
IFIP12
2009
15 years 4 months ago
2009
This paper describes an argumentation-based approach for automating the decision making process of an autonomous agent for pricing products. Product pricing usually involves differ...
156
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
This paper describes a system, Mr.Web, designed to interact with users over email to create and update Web pages. Our goal is that users interact with Mr.Web as if it were a human...
209
click to vote
AUSAI
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper presents a complete visual surveillance system for automatic scene interpretation of airport aprons. The system comprises two main modules — Scene Tracking a...
220
click to vote
EASSS
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents some of the key techniques for reaching agreements in multi-agent environments. It discusses game-theory and economics based techniques: strategic negotiation, ...