4573 search results - page 320 / 915 » Automated Reasoning |
141
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Using mathematical morphology on formulas introduced recently by Bloch and Lang (Proceedings of IPMU’2000) we define two new explanatory relations. Their logical behav...
149
click to vote
DLOG
2006
15 years 8 months ago
2006
In our case study we investigate a server for answering OWLQL queries with distinguished variables only (henceforth called OWLQL). This server acts as a proxy that delegates queri...
160
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...
213
click to vote
AUSAI
2005
Springer
16 years 8 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...
221
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, ...