27274 search results - page 115 / 5455 » A framework for framework documentation |
251
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
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...
174
click to vote
NLDB
2010
Springer
15 years 4 months ago
2010
Springer
This paper tackles the problem of term ambiguity, especially for biomedical literature. We propose and evaluate two methods of Word Sense Disambiguation (WSD) for biomedical terms ...
177
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper describes an online handwritten Japanese character string recognition system based on conditional random fields, which integrates the information of character recogniti...
203
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a segmentation-based handwriting recognizer and the performance that it achieves on the numerical fields extracted from a large single-writer historical collec...
132
click to vote
COLING
2010
15 years 1 months ago
2010
In this paper, we present an unsupervised hybrid model which combines statistical, lexical, linguistic, contextual, and temporal features in a generic EMbased framework to harvest...