1127 search results - page 59 / 226 » Theory Extension in ACL2(r) |
107
Voted
DGO
2008
15 years 1 months ago
2008
This paper provides an interim report on ongoing data collection and analysis efforts as part of a large-scale study of information technology- focused interagency collaborations ...
107
Voted
ECCC
2008
15 years 25 days ago
2008
Any proof of P = NP will have to overcome two barriers: relativization and natural proofs. Yet over the last decade, we have seen circuit lower bounds (for example, that PP does n...
116
click to vote
TACS
1994
Springer
15 years 4 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
107
click to vote
EDBT
1990
ACM
15 years 4 months ago
1990
ACM
Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through dec...
109
Voted
FOIS
2006
15 years 2 months ago
2006
An ontology alignment is the expression of relations between different ontologies. In order to view alignments independently from the language expressing ontologies and from the te...