1515 search results - page 133 / 303 » On the relation of aspects and monads |
ECMAST
1998
Springer
14 years 2 months ago
1998
Springer
This paper investigates the main issues related to the translation of SMIL into MHEG-5 documents. This is driven by the more general objective to achieve interoperability between ...
ICCS
1998
Springer
14 years 2 months ago
1998
Springer
Matching of concepts with variables (concept patterns) is a relatively new operation that has been introduced in the context of concept description languages (description logics),...
WADT
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. The ELAN system is an environment for specifying and prototyping constraint solvers, theorem provers and deduction systems in general. It also provides a framework for ex...
AGENTS
1997
Springer
14 years 2 months ago
1997
Springer
Recent developments in philosophy, linguistics, developmental psychology and arti cial intelligence make it possible to envision a developmental path for an arti cial agent, groun...
MA
1997
Springer
14 years 2 months ago
1997
Springer
: We describe a platform for the portable and secure execution of mobile agents written in various interpreted languages on top of a common run-time core. Agents may migrate at any...