3172 search results - page 125 / 635 » On the Random-Self-Reducibility of Complete Sets |
179
click to vote
ISCIS
2009
Springer
16 years 29 days ago
2009
Springer
—We describe XLambda, a functional language with XML syntax, and its processor which is implemented fully and completely in XSLT. XLambda has all the basic features of a function...
119
click to vote
ICIW
2008
IEEE
16 years 26 days ago
2008
IEEE
—Current approaches to transactional support of distributed processes in service-oriented environments are limited to scenarios where the participant initiating the process maint...
156
click to vote
LICS
2007
IEEE
16 years 21 days ago
2007
IEEE
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...
183
click to vote
ATAL
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
167
click to vote
ECSQARU
2007
Springer
16 years 18 days 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...