Sciweavers

2308 search results - page 56 / 462
» Categorial Semantics For LFG
Sort
View
ASIAN
1998
Springer
111views Algorithms» more  ASIAN 1998»
15 years 4 months ago
A Comparison of Petri Net Semantics under the Collective Token Philosophy
In recent years, several semantics for place/transition Petri nets have been proposed that adopt the collective token philosophy. We investigate distinctions and similarities betwe...
Roberto Bruni, José Meseguer, Ugo Montanari...
SWWS
2008
15 years 1 months ago
Metrics for Evaluating the Semantic Implications of Changes in Evolving Ontologies
We propose a set of metrics for measuring the semantic implications of changes during ontology evolution. Our metrics focus on the changes of classes and associated axioms or annot...
Chuming Chen, Manton M. Matthews
ENTCS
2010
130views more  ENTCS 2010»
14 years 9 months ago
Structural Operational Semantics and Modal Logic, Revisited
A previously introduced combination of the bialgebraic approach to structural operational semantics with aic modal logic is re-examined and improved in some aspects. Firstly, a mo...
Bartek Klin
SAMT
2007
Springer
133views Multimedia» more  SAMT 2007»
15 years 6 months ago
Semantic Video Classification Based on Subtitles and Domain Terminologies
In this paper we explore an unsupervised approach to classify video content by analyzing the corresponding subtitles. The proposed method is based on the WordNet lexical database a...
Polyxeni Katsiouli, Vassileios Tsetsos, Stathes Ha...
SAC
2003
ACM
15 years 5 months ago
Semantic Matchmaking in a P-2-P Electronic Marketplace
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
Tommaso Di Noia, Eugenio Di Sciascio, Francesco M....