Sciweavers

464 search results - page 36 / 93
» Modeling Semantic Constraints with Logic in the EARL Data Mo...
Sort
View
95
Voted
ADC
2008
Springer
146views Database» more  ADC 2008»
15 years 4 months ago
A Typed Higher-Order Calculus for Querying XML Databases
As the eXtensible Markup Language (XML) is about to emerge as a new standard for databases, the problem of providing solid logical grounds for XML query languages arises. For the ...
Qing Wang, Klaus-Dieter Schewe
106
Voted
ICLP
2010
Springer
15 years 2 months ago
Bisimilarity in Concurrent Constraint Programming
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
Andres A. Aristizabal P.
111
Voted
ACL
2012
13 years 17 days ago
Crosslingual Induction of Semantic Roles
We argue that multilingual parallel data provides a valuable source of indirect supervision for induction of shallow semantic representations. Specifically, we consider unsupervi...
Ivan Titov, Alexandre Klementiev
IWRIDL
2006
ACM
141views Education» more  IWRIDL 2006»
15 years 4 months ago
Shallow syntax analysis in Sanskrit guided by semantic nets constraints
We present the state of the art of a computational platform for the analysis of classical Sanskrit. The platform comprises modules for phonology, morphology, segmentation and shal...
Gérard P. Huet
FSEN
2009
Springer
15 years 2 months ago
A Coordination Model for Interactive Components
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...
Marco Antonio Barbosa, Luís Soares Barbosa,...