2446 search results - page 195 / 490 » Principles of dataspace systems |
119
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
126
click to vote
TACAS
1999
Springer
15 years 8 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...
137
click to vote
ICANN
1997
Springer
15 years 8 months ago
1997
Springer
We present a minimalistic approach to establish obstacle avoidance and course stabilization behavior of a simulated flying autonomous agent in a 3D virtual world. The agent uses v...
125
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. We introduce the concept of guarded saturated sets, saturated sets of strongly normalizing terms closed under folding of corecursive functions. Using this tool, we can mo...
189
click to vote
ICCBR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. This paper presents an algorithm of adaptation for a case-based reasoning system with cases and domain knowledge represented in the expressive description logic ALC. The ...