315 search results - page 19 / 63 » Reasoning about Assignments in Recursive Data Structures |
124
click to vote
ELP
1991
15 years 3 months ago
1991
Operational semantics provide a simple, high-level and elegant means of specifying interpreters for programming languages. In natural semantics, a form of operational semantics, p...
FUIN
2002
14 years 11 months ago
2002
Abstract. This article introduces structural aspects in an ontology of approximate reason. The basic assumption in this ontology is that approximate reason is a capability of an ag...
SWAP
2007
15 years 27 days ago
2007
Abstract. Ontologies are pervading many areas of knowledge representation and management. To date, most research efforts have been spent on the development of sufficiently express...
104
click to vote
CSB
2005
IEEE
15 years 5 months ago
2005
IEEE
Our paper describes the first provably-efficient algorithm for determining protein structures de novo, solely from experimental data. We show how the global nature of a certain ...
105
click to vote
WDAG
2004
Springer
15 years 5 months ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...