Sciweavers

1588 search results - page 70 / 318
» Modular action language
Sort
View
CSL
2003
Springer
15 years 7 months ago
Modular Semantics and Logics of Classes
The semantics of class-based languages can be defined in terms of objects only [8, 7, 1] if classes are viewed as objects with a constructor method. One obtains a store in which m...
Bernhard Reus
115
Voted
LREC
2008
151views Education» more  LREC 2008»
15 years 4 months ago
Production in a Multimodal Corpus: how Speakers Communicate Complex Actions
We describe a new multimodal corpus currently under development. The corpus consists of videos of task-oriented dialogues that are annotated for speaker's verbal requests and...
Carlos Gómez Gallo, T. Florian Jaeger, Jame...
139
Voted
ESORICS
2007
Springer
15 years 8 months ago
Modular Access Control Via Strategic Rewriting
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...
Daniel J. Dougherty, Claude Kirchner, Hél&e...
126
Voted
AIR
2004
106views more  AIR 2004»
15 years 2 months ago
Web-Based Adaptive Tutoring: An Approach Based on Logic Agents and Reasoning about Actions
In this paper we describe an approach to the construction of adaptive tutoring systems, based on techniques from the research area of Reasoning about Actions and Change. This appro...
Matteo Baldoni, Cristina Baroglio, Viviana Patti
106
Voted
FCT
2007
Springer
15 years 8 months ago
FJMIP: A Calculus for a Modular Object Initialization
In most mainstream object-oriented languages, the object initialization protocol is based on constructors, where different constructors of the same class are, in fact, overloaded ...
Viviana Bono, Jaroslaw D. M. Kusmierek