10568 search results - page 633 / 2114 » Computer Intelligence and Formalization |
166
click to vote
DEBU
2010
15 years 4 months ago
2010
Provenance is often used to validate data, by verifying its origin and explaining its derivation. When searching for "causes" of tuples in the query results or in genera...
159
click to vote
JLP
2010
15 years 1 months ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
377
click to vote
COSIT
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We sy...
215
click to vote
SAS
1993
Springer
15 years 11 months ago
1993
Springer
Type and effect systems provide a safe and effective means of programming high-performance parallel computers with a high-level language that integrates both functional and impe...
178
click to vote
ATAL
2005
Springer
16 years 20 days ago
2005
Springer
Intelligent agents in the quantum internet are supposed to operate on networked hybrid quantum computers to individually or jointly accomplish their goals by means of both classic...