730 search results - page 26 / 146 » Combinatorics of Monotone Computations |
148
click to vote
RTA
1993
Springer
15 years 10 months ago
1993
Springer
We propose an extension of rewriting techniques to derive inclusion relations a ⊆ b between terms built from monotonic operators. Instead of using only a rewriting relation ⊆ ...
150
click to vote
SOFSEM
2010
Springer
15 years 3 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
145
click to vote
IRI
2009
IEEE
16 years 19 days ago
2009
IEEE
Traditional schema matchers use a set of distinct simple matchers and use a composition function to combine the individual scores using an arbitrary order of matcher application l...
156
click to vote
STACS
2005
Springer
15 years 11 months ago
2005
Springer
In property testing, we are given oracle access to a function f, and we wish to test if the function satisfies a given property P, or it is ε-far from having that property. In a...
276
click to vote
COMMA
2010
15 years 29 days ago
2010
This paper addresses the problem of revising a Dung-style argumentation framework by adding finitely many new arguments which may interact with old ones. We study the behavior of t...