2268 search results - page 116 / 454 » The Essence of Form Abstraction |
WOA
2007
13 years 9 months ago
2007
Abstract. Upper Ontologies are quickly becoming a key technology for integrating heterogeneous knowledge coming from different sources. In this technical report we analyse 7 Upper ...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
CSL
2010
Springer
13 years 9 months ago
2010
Springer
We investigate a modification of the sequent calculus which s a first-order proof into its abstract deductive structure and a unifier which renders this structure a valid proof. We...
AHS
2007
IEEE
13 years 8 months ago
2007
IEEE
Abstract— A programmable analog array inspired from neuronal spike event coding is presented. A configurable event block forms the basic building block of the programmable array...
CONCURRENCY
2010
13 years 8 months ago
2010
Abstract. We introduce a distributed high performance hybrid Information Service Architecture, which forms a metadata replica hosting system to manage both highlydynamic, small-sca...