Sciweavers

1517 search results - page 200 / 304
» On automatic knowledge validation for Bayesian knowledge bas...
Sort
View
138
Voted
SAC
2006
ACM
15 years 4 months ago
Assisted verification of elementary functions using Gappa
The implementation of a correctly rounded or interval elementary function needs to be proven carefully in the very last details. The proof requires a tight bound on the overall er...
Florent de Dinechin, Christoph Quirin Lauter, Guil...
SOCIALCOM
2010
15 years 1 months ago
Precursors and Laggards: An Analysis of Semantic Temporal Relationships on a Blog Network
We explore the hypothesis that it is possible to obtain information about the dynamics of a blog network by analysing the temporal relationships between blogs at a semantic level, ...
Telmo Menezes, Camille Roth, Jean-Philippe Cointet
WEBI
2007
Springer
15 years 10 months ago
Measuring Semantic Similarity between Named Entities by Searching the Web Directory
The importance of named entities in information retrieval and knowledge management has recently brought interest in characterizing semantic relationships between entities. In this...
Jiahui Liu, Larry Birnbaum
MM
2005
ACM
160views Multimedia» more  MM 2005»
15 years 9 months ago
Building a visual ontology for video retrieval
To ensure access to growing video collections, annotation is becoming more and more important. Using background knowledge in the form of ontologies or thesauri is a way to facilit...
Laura Hollink, Marcel Worring
CASCON
2007
112views Education» more  CASCON 2007»
15 years 5 months ago
Removing manually generated boilerplate from electronic texts: experiments with project Gutenberg e-books
Collaborative work on unstructured or semistructured documents, such as in literature corpora or source code, often involves agreed upon templates containing metadata. These templ...
Owen Kaser, Daniel Lemire