3206 search results - page 107 / 642 » How minds can be computational systems |
ICSOC
2005
Springer
15 years 3 months ago
2005
Springer
With the growing adoption of service-oriented computing, locating services becomes increasingly commonplace. Accordingly, a large number of systems for service discovery have been ...
STACS
1991
Springer
15 years 1 months ago
1991
Springer
Several relation-algebraic algorithms for computing the cut completion of a partially ordered set are formally developed and afterwards generalized to the case of concept lattices....
CONCUR
2001
Springer
15 years 2 months ago
2001
Springer
In this paper we introduce a static analysis technique for graph transformation systems. We present an algorithm which, given a graph transformation system and a start graph, produ...
HUC
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we present a new approach for cooperation between mobile smart objects and projector-camera systems to enable augmentation of the surface of objects with interactive ...
EXACT
2007
15 years 8 days ago
2007
Systems in general, and intelligent systems in particular, need to be able to explain their behaviour to their users or partners. Previously, a number of different user goals that...