Sciweavers

3180 search results - page 255 / 636
» Knowledge-based Document Analysis
Sort
View
227
Voted
IFM
2010
Springer
205views Formal Methods» more  IFM 2010»
15 years 2 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 5 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 4 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,...
129
Voted
ICDAR
2009
IEEE
15 years 11 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
139
Voted
ICDAR
2009
IEEE
15 years 11 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