1631 search results - page 205 / 327 » Observing Functional Logic Computations |
SEFM
2006
IEEE
15 years 4 months ago
2006
IEEE
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
Feature extraction is a process that extracts salient features from observed variables. It is considered a promising alternative to overcome the problems of weight and structure o...
IVA
2005
Springer
15 years 3 months ago
2005
Springer
Causality is a central issue in many AI applications. Social causality, in contrast to physical causality, seeks to attribute cause and responsibility to social events, and account...
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
This paper describes the Mediating Agent, an animated pedagogical agent inserted in a computational system for distance learning, which has the goal of motivating the student to le...
IPTPS
2003
Springer
15 years 3 months ago
2003
Springer
Every distributed system that employs linking requires a Reference Resolution Service (RRS) to convert link references to locations. We argue that the Web’s use of DNS for this ...