339 search results - page 25 / 68 » Basic concepts of abstract interpretation |
100
click to vote
IBERAMIA
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we describe MRSCL Geometry a collaborative educational activity that explores the use of robotic technology and wirelessly connected Pocket PCs as tools for teaching ...
105
click to vote
AAMAS
2004
Springer
14 years 11 months ago
2004
Springer
The development of the World Wide Web has changed the way we think about information. Information on the web is distributed, updates are made asynchronously and resources come onli...
106
click to vote
AB
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Thoughts are spatio-temporal patterns of coalitions of firing neurons and their interconnections. Neural algebras represent these patterns as formal algebraic objects, a...
109
click to vote
PPSWR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. In this paper we define the basic concepts for a general language for evolution and reactivity in the Semantic Web. We do this by exposing an UML model that specifies a...
AI
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. In this paper, we present an argumentation-based approach to dealing with inconsistency occurring in knowledge bases. We investigate several important logical properties ...