Sciweavers

2395 search results - page 225 / 479
» Reasoning in Semantic Wikis
Sort
View
SIES
2007
IEEE
16 years 29 days ago
Protocol Modelling Semantics for Embedded Systems
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
Ashley T. McNeile, Ella E. Roubtsova
ICMCS
2005
IEEE
120views Multimedia» more  ICMCS 2005»
16 years 8 days ago
Picturefinder: Description Logics for Semantic Image Retrieval
Large amount of images need an efficient way of retrieving them. The usual approach of manually annotating images and/or providing a syntactic retrieval capability lacks flexibi...
Jean-Pierre Schober, Thorsten Hermes, Otthein Herz...
LICS
2005
IEEE
16 years 8 days ago
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
Patrice Godefroid, Michael Huth
RWEB
2005
Springer
16 years 5 days ago
Personalization for the Semantic Web
Searching for the meaning of the word “personalization” on a popular search engine, one finds twenty-three different answers, including “the process of matching categorized...
Matteo Baldoni, Cristina Baroglio, Nicola Henze
190
Voted
NMR
2004
Springer
16 years 1 days ago
Semantics of disjunctive programs with monotone aggregates - an operator-based approach
All major semantics of normal logic programs and normal logic programs with aggregates can be described as fixpoints of the one-step provability operator or of operators that can...
Nikolay Pelov, Miroslaw Truszczynski