Sciweavers

3385 search results - page 172 / 677
» Language, Logic, and the Brain
Sort
View
UML
1998
Springer
15 years 10 months ago
Reflections on the Object Constraint Language
The object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a precise, textual language for expressing constraints that cannot be shown diagram...
Ali Hamie, Franco Civello, John Howse, Stuart Kent...
CONCUR
2010
Springer
15 years 7 months ago
Termination in Impure Concurrent Languages
Abstract. An impure language is one that combines functional and imperative constructs. We propose a method for ensuring termination of impure concurrent languages that makes it po...
Romain Demangeon, Daniel Hirschkoff, Davide Sangio...
CORR
2010
Springer
141views Education» more  CORR 2010»
15 years 6 months ago
A database approach to information retrieval: The remarkable relationship between language models and region models
In this report, we unify two quite distinct approaches to information retrieval: region models and language models. Region models were developed for structured document retrieval....
Djoerd Hiemstra, Vojkan Mihajlovic
VLDB
1989
ACM
137views Database» more  VLDB 1989»
15 years 10 months ago
Pasta-3's Graphical Query Language: Direct Manipulation, Cooperative Queries, Full Expressive Power
Graphical Direct Manipulation (GrDM) query languagesare characterized and positioned with respect to traditional textual query languages. After a brief survey of the current state...
Michel Kuntz, Rainer Melchert
AAAI
2000
15 years 8 months ago
DMML: An XML Language for Interacting with Multi-Modal Dialog Systems
We present Dialog Moves Markup Language (DMML): an extensible markup language (XML) representation of modality independent communicative acts of automated conversational agents. I...
Nanda Kambhatla, Malgorzata Budzikowska, Sylvie Le...