Sciweavers

2525 search results - page 178 / 505
» A Framework for Semantic Gossiping
Sort
View
CORR
2008
Springer
128views Education» more  CORR 2008»
15 years 7 months ago
Reasoning in Abella about Structural Operational Semantics Specifications
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
Andrew Gacek, Dale Miller, Gopalan Nadathur
IJAMC
2007
114views more  IJAMC 2007»
15 years 7 months ago
Integration of rules and policies for Semantic Web Services
: Multimedia service providers on the web need their services to be well protected and easily accessible worldwide. This has initiated several lines of research to provide semantic...
Nima Kaviani, Dragan Gasevic, Marek Hatala, David ...
OTM
2010
Springer
15 years 5 months ago
Integrating Keywords and Semantics on Document Annotation and Search
This paper describes GoNTogle, a framework for document annotation and retrieval, built on top of Semantic Web and IR technologies. GoNTogle supports ontology-based annotation for ...
Nikos Bikakis, Giorgos Giannopoulos, Theodore Dala...
EMNLP
2009
15 years 4 months ago
Entity Extraction via Ensemble Semantics
Combining information extraction systems yields significantly higher quality resources than each system in isolation. In this paper, we generalize such a mixing of sources and fea...
Marco Pennacchiotti, Patrick Pantel
JUCS
2006
89views more  JUCS 2006»
15 years 7 months ago
Process Equivalences as Global Bisimulations
: Bisimulation can be defined in a simple way using coinductive methods, and has rather pleasant properties. Ready similarity was proposed by Meyer et al. as a way to weakening the...
David de Frutos-Escrig, Carlos Gregorio-Rodr&iacut...