987 search results - page 123 / 198 » Ludics and Its Applications to Natural Language Semantics |
102
click to vote
IJISMD
2010
14 years 9 months ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
ICTAC
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. Many software applications are based on collaborating, yet competing, agents or virtual organisations exchanging services. Contracts, expressing obligations, permissions ...
ISMAR
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper describes an augmented reality (AR) multimodal interface that uses speech and paddle gestures for interaction. The application allows users to intuitively arrange virtu...
105
click to vote
VEE
2006
ACM
15 years 5 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
ENTCS
2002
14 years 11 months ago
2002
In this paper we present a framework to program autonomous robots in the declarative multi-paradigm language Curry. This is an experiment to use high-level declarative programming...