Sciweavers

1856 search results - page 231 / 372
» Formal Dialectic Specification
Sort
View
KES
2006
Springer
15 years 4 months ago
M-OntoMat-Annotizer: Image Annotation Linking Ontologies and Multimedia Low-Level Features
Annotations of multimedia documents typically have been pursued in two different directions. Either previous approaches have focused on low level descriptors, such as dominant colo...
Kosmas Petridis, Dionysios Anastasopoulos, Carsten...
ENTCS
2002
97views more  ENTCS 2002»
15 years 4 months ago
Plan in Maude: Specifying an Active Network Programming Language
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
Mark-Oliver Stehr, Carolyn L. Talcott
PVLDB
2008
111views more  PVLDB 2008»
15 years 4 months ago
Approximate lineage for probabilistic databases
In probabilistic databases, lineage is fundamental to both query processing and understanding the data. Current systems s.a. Trio or Mystiq use a complete approach in which the li...
Christopher Ré, Dan Suciu
141
Voted
SAC
2008
ACM
15 years 4 months ago
Hermes: a semantic web-based news decision support system
The emergence of the Web has made more and more news items available, however only a small subset of these news items are relevant in a decision making process. Therefore decision...
Jethro Borsje, Leonard Levering, Flavius Frasincar
WWW
2010
ACM
15 years 3 months ago
A framework for trust establishment and assessment on the web of data
With the enormous and still growing amount of data and user interaction on the Web, it becomes more and more necessary for data consumers to be able to assess the trustworthiness ...
Qi Gao, Geert-Jan Houben