8917 search results - page 439 / 1784 » Abstraction in Algorithm Animation |
170
click to vote
CAV
2004
Springer
16 years 6 days ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
158
click to vote
FOCS
1992
IEEE
15 years 11 months ago
1992
IEEE
Abstract Summary of results The subcubic (O(n ) for < 3) algorithms to multiply Boolean matrices do not provide the witnesses; namely, they compute C = AB but if Cij = 1 they d...
151
click to vote
RTA
2000
Springer
15 years 10 months ago
2000
Springer
We consider the problem of higher-order matching restricted et of linear -terms (i.e., -terms where each abstraction x. M is such that there is exactly one free occurrence of x in ...
179
click to vote
TOMS
2010
15 years 5 months ago
2010
s the mathematical abstractions and methods used in the design of the library and its implementation. A number of examples are presented to demonstrate the use of the library in ap...
161
click to vote
SYNASC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract. In this paper we give some applications of weakly Picard operators theory to linear positive approximation operators, to difference equations with deviating argument and...