13383 search results - page 169 / 2677 » Abstractions from proofs |
162
click to vote
JOT
2010
15 years 5 months ago
2010
ional Abstraction Steps Lone Leth Thomsena Bent Thomsena Kurt Nørmarka a. Department of Computer Science, Aalborg University, Denmark In this paper we discuss computational abstra...
169
click to vote
JASIS
2007
15 years 6 months ago
2007
sets of research abstracts that may be retrieved by a digital library or search engine in response to a user query. y dissertation abstracts were selected as the sample domain in t...
222
click to vote
NPAR
2010
ACM
15 years 11 months ago
2010
ACM
We present an interactive abstract painting system named Sisley. Sisley works upon the psychological principle [Berlyne 1971] that abstract arts are often characterized by their gr...
273
click to vote
TSE
2012
13 years 9 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
165
click to vote
NDJFL
2010
15 years 1 months ago
2010
l Abstraction via the Frege Quantifier G. Aldo Antonelli Abstract This paper presents a formalization of first-order aritharacterizing the natural numbers as abstracta of the equin...