7075 search results - page 1110 / 1415 » Models and heterogeneous reasoning |
201
Voted
IGPL
2010
15 years 5 months ago
2010
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
210
click to vote
JLP
2008
15 years 5 months ago
2008
Coordination languages were introduced in the early 80's as programming notations to manage the interaction among concurrent collaborating software entities. Process algebras...
197
click to vote
SCP
2010
15 years 5 months ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
221
click to vote
BMVC
2010
15 years 4 months ago
2010
Gaussian processes have been widely used as a method for inferring the pose of articulated bodies directly from image data. While able to model complex non-linear functions, they ...
193
click to vote
EMNLP
2010
15 years 4 months ago
2010
We define a probabilistic morphological analyzer using a data-driven approach for Syriac in order to facilitate the creation of an annotated corpus. Syriac is an under-resourced S...