3552 search results - page 537 / 711 » Proof theory in the abstract |
200
click to vote
SEMWEB
2005
Springer
16 years 8 hour ago
2005
Springer
Abstract. In the Semantic Web information would be retrieved, processed, combined, shared and reused in the maximum automatic way possible. Obviously, such procedures involve a hig...
152
click to vote
SIGADA
2005
Springer
16 years 8 hour ago
2005
Springer
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
145
click to vote
VSTTE
2005
Springer
16 years 5 hour ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
183
click to vote
ACRI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper reviews the history of embedded, evolvable selfreplicating structures implemented as cellular automata systems. We relate recent advances in this field to the...
157
click to vote
AI
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper extends a mereotopological theory of spatiotemporal reasoning to vague ”egg-yolk” regions. In this extension, the egg and its yolk are allowed to move and ...