Sciweavers

1750 search results - page 38 / 350
» Formal multiple-bernoulli models for language modeling
Sort
View
SIGMOD
2003
ACM
147views Database» more  SIGMOD 2003»
15 years 10 months ago
Formal semantics and analysis of object queries
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
Gavin M. Bierman
INLG
2010
Springer
14 years 7 months ago
Generating Referring Expressions with Reference Domain Theory
In this paper we present a reference generation model based on Reference Domain Theory which gives a dynamic account of reference. This reference model assumes that each referring...
Alexandre Denis
DATE
2009
IEEE
120views Hardware» more  DATE 2009»
15 years 4 months ago
Towards a formal semantics for the AADL behavior annex
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
Zhibin Yang, Kai Hu, Dianfu Ma, Lei Pi
ADBIS
1997
Springer
109views Database» more  ADBIS 1997»
15 years 1 months ago
A Graphical Yet Formalized Framework for Specifying View Systems
A graphical formalized language is proposed for specifying systems of views over database schemas. The language is based on the notion of arrow (mapping) between data schemas and ...
Zinovy Diskin, Boris Cadish
SDL
2007
139views Hardware» more  SDL 2007»
14 years 11 months ago
A Model-Based Standard for SDL
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
Andreas Prinz, Markus Scheidgen, Merete Skjelten T...