Sciweavers

3180 search results - page 255 / 636
» Knowledge-based Document Analysis
Sort
View
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
15 years 4 months ago
Adding Change Impact Analysis to the Formal Verification of C Programs
Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
Serge Autexier, Christoph Lüth
BMCBI
2006
127views more  BMCBI 2006»
15 years 6 months ago
A graph-search framework for associating gene identifiers with documents
Background: One step in the model organism database curation process is to find, for each article, the identifier of every gene discussed in the article. We consider a relaxation ...
William W. Cohen, Einat Minkov
KAIS
2002
144views more  KAIS 2002»
15 years 6 months ago
Correlation-Based Web Document Clustering for Adaptive Web Interface Design
A great challenge for web site designers is how to ensure users' easy access to important web pages efficiently. In this paper we present a clustering-based approach to addres...
Zhong Su, Qiang Yang, HongJiang Zhang, Xiaowei Xu,...
ICDAR
2009
IEEE
16 years 1 months ago
An RDF-Based Blackboard Architecture for Improving Table Analysis
Table analysis is a complex problem, involving searching solutions from a large search space. Studies show that finding the most credible answers to complex problems often requir...
Vanessa Long
ICDAR
2009
IEEE
16 years 1 months ago
Capturing Reliable Data for Computer-Based Forensic Handwriting Analysis II: Pen-position Activations
The forensic investigation of a questioned signature written on a piece of paper is a challenging task. Electronic pen-tablets for recording writing movements are considered valua...
Katrin Franke