Sciweavers

10715 search results - page 386 / 2143
» Proofs from Tests
Sort
View
ICST
2011
IEEE
14 years 10 months ago
It is Not the Length That Matters, It is How You Control It
—The length of test cases is a little investigated topic in search-based test generation for object oriented software, where test cases are sequences of method calls. While intui...
Gordon Fraser, Andrea Arcuri
ICDAR
2009
IEEE
16 years 1 months ago
Metadata Extraction from PDF Papers for Digital Library Ingest
In this paper we analyze our recent research on the use of document analysis techniques for metadata extraction from PDF papers. We describe a package that is designed to extract ...
Simone Marinai
INTERSPEECH
2010
15 years 1 months ago
Learning a language model from continuous speech
This paper presents a new approach to language model construction, learning a language model not from text, but directly from continuous speech. A phoneme lattice is created using...
Graham Neubig, Masato Mimura, Shinsuke Mori, Tatsu...
ICIP
2001
IEEE
16 years 8 months ago
Image data mining from financial documents based on wavelet features
In this paper, we present a framework for clustering and classifying cheque images according to their payee-line content. The features used in the clustering and classificationpro...
Ossama El Badawy, Mahmoud R. El-Sakka, Khaled Hass...
ICPR
2006
IEEE
16 years 8 months ago
Atlas-based 3D-Shape Reconstruction from X-Ray Images
In many cases x-ray images are the only basis for surgery planning. Nevertheless it is desirable to draw conclusions about the 3D-anatomy of the patient from such data. This work ...
Hans Lamecker, Hans-Christian Hege, Thomas H. Wenc...