4814 search results - page 166 / 963 » Combining abstract interpreters |
154
click to vote
COCOON
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We show that finding roots of Boolean matrices is an NPhard problem. This answers a twenty year old question from semigroup theory. Interpreting Boolean matrices as dire...
106
click to vote
ECAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In the past few years there have been a number of proposals for mechanisms for negotiation between agents that make use of argumentation. These proposals have largely bee...
162
click to vote
ECAI
1992
Springer
15 years 10 months ago
1992
Springer
Abstract. A key step in Natural Language Processing is creating representations of sentences and discourses. Sentences describe states and events. Thus a crucial component of seman...
151
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We extend the algebraic approach of Meseguer and Montanari from ordinary place/transition Petri nets to contextual nets, covering both the collective and the individual t...
173
click to vote
ASM
2005
ASM
15 years 8 months ago
2005
ASM
Abstract. This paper provides a modular high-level design of the Common Language Runtime (CLR) architecture. Our design is given in terms act State Machines (ASMs) and takes the fo...