Sciweavers

5671 search results - page 175 / 1135
» A Semantic Approach to Interpolation
Sort
View
ICWE
2007
Springer
15 years 10 months ago
Squiggle: An Experience in Model-Driven Development of Real-World Semantic Search Engines
Abstract. Search engines are becoming such an easy way to find textual resources that we wish to use them also for multimedia content; however, syntactic techniques, even if promi...
Irene Celino, Emanuele Della Valle, Dario Cerizza,...
COLING
2010
14 years 11 months ago
Estimating Linear Models for Compositional Distributional Semantics
In distributional semantics studies, there is a growing attention in compositionally determining the distributional meaning of word sequences. Yet, compositional distributional mo...
Fabio Massimo Zanzotto, Ioannis Korkontzelos, Fran...
FUIN
2010
121views more  FUIN 2010»
14 years 11 months ago
Big-step Operational Semantics Revisited
Abstract. In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated ...
Jaroslaw D. M. Kusmierek, Viviana Bono
DFG
2004
Springer
15 years 9 months ago
Executable HybridUML and Its Application to Train Control Systems
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
Kirsten Berkenkötter, Stefan Bisanz, Ulrich H...
ICDT
2009
ACM
127views Database» more  ICDT 2009»
15 years 11 months ago
A logical account of uncertain databases based on linear logic
A formal semantics of uncertain databases typically takes an algebraic approach by mapping an uncertain database to a set of relational databases, or possible worlds. We present a...
Sungwoo Park, Seung-won Hwang