Sciweavers

1548 search results - page 126 / 310
» Semantics and Extensions of WS-Agreement
Sort
View
LPNMR
2005
Springer
14 years 3 months ago
Answer Sets for Propositional Theories
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
Paolo Ferraris
MM
2004
ACM
154views Multimedia» more  MM 2004»
14 years 3 months ago
PLSA-based image auto-annotation: constraining the latent space
We address the problem of unsupervised image auto-annotation with probabilistic latent space models. Unlike most previous works, which build latent space representations assuming ...
Florent Monay, Daniel Gatica-Perez
EAGC
2004
Springer
14 years 3 months ago
A Grid Service Framework for Metadata Management in Self-e-Learning Networks
Metadata management is critical for Grid systems. More specifically, semantically meaningful resource descriptions constitute a highly beneficial extension to Grid environments t...
George Samaras, Kyriakos Karenos, Eleni Christodou...
CONCUR
2001
Springer
14 years 2 months ago
Compositional Modeling of Reactive Systems Using Open Nets
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...
DEXAW
1999
IEEE
106views Database» more  DEXAW 1999»
14 years 2 months ago
Textual Similarities Based on a Distributional Approach
The design of efficient textual similarities is an important issue in the domain of textual data exploration. Textual similarities are for example central in document collection s...
Romaric Besançon, Martin Rajman, Jean-C&eac...