13734 search results - page 2323 / 2747 » Abstractions of data types |
171
click to vote
ENTCS
2008
15 years 6 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
179
click to vote
COMPUTER
2006
15 years 6 months ago
2006
more abstract realms of Impressionism, and more pure Abstraction. The camera, although capable of capturing instants in time, cannot on its own--except in rare instances--truly rec...
184
click to vote
ENTCS
2007
15 years 6 months ago
2007
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
159
click to vote
SOFTWARE
2002
15 years 6 months ago
2002
is the level of abstraction: a logical model ignores the constraints that the underlying database technology imposes and presents a simplified view. Sometimes physical database des...
183
click to vote
TOIS
2010
15 years 5 months ago
2010
We propose a new unsupervised learning technique for extracting information about authors and topics from large text collections. We model documents as if they were generated by a...