Sciweavers

433 search results - page 72 / 87
» Building an Interpreter with Vmgen
Sort
View
UIST
1996
ACM
13 years 11 months ago
Language-Level Support for Exploratory Programming of Distributed Virtual Environments
We describe COTERIE, a toolkit that provides languagelevel support for building distributed virtual environments. COTERIE is based on the distributed data-object paradigm for dist...
Blair MacIntyre, Steven Feiner
PLILP
1993
Springer
13 years 11 months ago
Narrowing Approximations as an Optimization for Equational Logic Programs
Abstract. Solving equations in equational theories is a relevant programming paradigm which integrates logic and equational programming into one unified framework. Efficient metho...
María Alpuente, Moreno Falaschi, Marí...
ATAL
2008
Springer
13 years 9 months ago
A flexible framework for verifying agent programs
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...
ATAL
2008
Springer
13 years 9 months ago
Emotionally based multi-agent e-commerce platform
Experiencing and expressing emotions are integral parts of our life. In the retail area of commerce, emotion plays a fundamental role. When we choose or buy a commodity, our choic...
Nicolae Jascanu
COGSYS
2005
Springer
13 years 9 months ago
Natural Language Dialog with a Tutor System for Mathematical Proofs
Abstract. Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction ...
Christoph Benzmüller, Helmut Horacek, Ivana K...