Sciweavers

1588 search results - page 158 / 318
» Modular action language
Sort
View
POPL
1989
ACM
15 years 10 months ago
How to Make ad-hoc Polymorphism Less ad-hoc
raction that a programming language provides influences the structure and algorithmic complexity of the resulting programs: just imagine creating an artificial intelligence engine ...
Philip Wadler, Stephen Blott
POPL
2012
ACM
14 years 2 months ago
Programming with binders and indexed data-types
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
Andrew Cave, Brigitte Pientka
TBILLC
2005
Springer
16 years 1 days ago
Real World Multi-agent Systems: Information Sharing, Coordination and Planning
Abstract. Applying multi-agent systems in real world scenarios requires several essential research questions to be answered. Agents have to perceive their environment in order to t...
Frans C. A. Groen, Matthijs T. J. Spaan, Jelle R. ...
ACMDIS
2004
ACM
15 years 12 months ago
Tutor design for speech-based interfaces
Speech-based applications commonly come with web-based or printed manuals. Alternatively, the dialogue can be designed so that users should be able to start using the application ...
Jaakko Hakulinen, Markku Turunen, Esa-Pekka Salone...
SRDS
2003
IEEE
15 years 11 months ago
Coordinated Forward Error Recovery for Composite Web Services
This paper proposes a solution based on forward error recovery, oriented towards providing dependability of composite Web services. While exploiting their possible support for fau...
Ferda Tartanoglu, Valérie Issarny, Alexande...