Sciweavers

9507 search results - page 407 / 1902
» Time-based language models
Sort
View
WOLLIC
2007
Springer
16 years 27 days ago
Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
Michael Moortgat
BIRTHDAY
2004
Springer
16 years 6 days ago
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
Mark-Oliver Stehr, José Meseguer
ECAI
2004
Springer
16 years 6 days ago
Vision-Language Integration in AI: A Reality Check
Abstract. Multimodal human to human interaction requires integration of the contents/meaning of the modalities involved. Artificial Intelligence (AI) multimodal prototypes attempt...
Katerina Pastra, Yorick Wilks
MODELS
2009
Springer
16 years 1 months ago
Weaving Variability into Domain Metamodels
A Domain-Specific Modeling Language (DSMLs) describes the concepts and their relationships of a particular domain, in a metamodel. Using a DSML, it is possible to describe a wide ...
Brice Morin, Gilles Perrouin, Philippe Lahire, Oli...
ECOOP
1994
Springer
15 years 11 months ago
Product Configurations - An Application for Prototype Object Approach
Product configuration management is presented as a practical application for a prototype-based object model. Data model requirements for a configuration system are first introduced...
Hannu Peltonen, Tomi Männistö, Kari Alho...