620 search results - page 56 / 124 » Concrete Abstractions |
TPHOL
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
ARCS
2007
Springer
14 years 4 months ago
2007
Springer
Sensor network technology is pushing towards integration into the business world. By using sensor node hardware to augment real life business items it is possible to capture the wo...
DAARC
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The capability of handling anaphora is becoming a key feature for Question Answering systems, as it can play a crucial role at different stages of the QA loop. At the qu...
ECSQARU
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. This work addresses the problem of providing explanation capabilities to an argumentation system. Explanation in defeasible argumentation is an important, and yet undevel...
ESWS
2007
Springer
14 years 4 months ago
2007
Springer
Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two ...