5575 search results - page 844 / 1115 » Information Extraction |
196
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
160
click to vote
ICDAR
2007
IEEE
16 years 29 days ago
2007
IEEE
In this paper, we propose to give tools for Bangla handwriting recognition. We present a mechanism to segment documents into text lines and words, and more specifically to detect...
179
click to vote
IROS
2007
IEEE
16 years 28 days ago
2007
IEEE
— In the field of mobile robotics, trajectory details are seldom taken into account to qualify robot performance. Most metrics rely mainly on global results such as the total ti...
198
click to vote
GCC
2007
Springer
16 years 24 days ago
2007
Springer
Image filtering is the use of computer graphics algorithms to enhance the quality of digital images or to extract information about their content. However rendering very large siz...
166
Voted
SC
2005
ACM
16 years 5 days ago
2005
ACM
The availability of inexpensive “off the shelf” machines increases the likelihood that parallel programs run on heterogeneous clusters of machines. These programs are increasi...