Sciweavers

6794 search results - page 293 / 1359
» Semantics of Visual Languages
Sort
View
74
Voted
HRI
2007
ACM
15 years 4 months ago
Incremental natural language processing for HRI
Robots that interact with humans face-to-face using natural language need to be responsive to the way humans use language in those situations. We propose a psychologicallyinspired...
Timothy Brick, Matthias Scheutz
106
Voted
FDL
2004
IEEE
15 years 4 months ago
Reuse of SML module system for the B language
In this paper, we are concerned with studying the semantic of the B modularity. We reuse the Harper-Lillibridge-Leroy (HLL) module system. This system implements an SML like module...
Dorian Petit, Vincent Poirriez, Georges Mariano
LOPSTR
2007
Springer
15 years 7 months ago
Snapshot Generation in a Constructive Object-Oriented Modeling Language
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
Mauro Ferrari, Camillo Fiorentini, Alberto Momigli...
112
Voted
VLDB
1991
ACM
171views Database» more  VLDB 1991»
15 years 4 months ago
Language Constructs for Programming Active Databases
: This paper presents database programming language constructs that. can be used to realize a variety of different semantics for rule application in active database syst.ems. The p...
Richard Hull, Dean Jacobs
ENTCS
2010
133views more  ENTCS 2010»
15 years 26 days ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness