Sciweavers

2525 search results - page 309 / 505
» A Framework for Semantic Gossiping
Sort
View
COLING
2008
15 years 7 months ago
Other-Anaphora Resolution in Biomedical Texts with Automatically Mined Patterns
This paper proposes an other-anaphora resolution approach in bio-medical texts. It utilizes automatically mined patterns to discover the semantic relation between an anaphor and a...
Bin Chen, Xiaofeng Yang, Jian Su, Chew Lim Tan
FORTE
2007
15 years 7 months ago
Specifying and Composing Interaction Protocols for Service-Oriented System Modelling
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
João Abreu, Laura Bocchi, José Luiz ...
GEOINFO
2007
15 years 7 months ago
Ecologically-aware Queries for Biodiversity Research
To carry ecologically-relevant biodiversity research, one must collect chunks of information on species and their habitats from a large number of institutions and correlate them us...
Luiz Celso Gomes Jr., Claudia Bauzer Medeiros
FORTE
2008
15 years 7 months ago
Checking Correctness of Transactional Behaviors
Abstract. The Signal Calculus is an asynchronous process calculus featuring multicast communication. It relies on explicit modeling of the communication structure of the network (c...
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guan...
DLOG
2004
15 years 7 months ago
Local Tableaux for Reasoning in Distributed Description Logics
The last decade of basic research in the area of Description Logics (DL) has created a stable theory, efficient inference procedures, and has demonstrated a wide applicability of ...
Luciano Serafini, Andrei Tamilin