1515 search results - page 133 / 303 » On the relation of aspects and monads |
147
click to vote
ECMAST
1998
Springer
15 years 10 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 ...
191
click to vote
ICCS
1998
Springer
15 years 10 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),...
149
click to vote
WADT
1998
Springer
15 years 10 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...
149
click to vote
AGENTS
1997
Springer
15 years 10 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...
159
click to vote
MA
1997
Springer
15 years 10 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...