Sciweavers

4651 search results - page 641 / 931
» Data Reduction Using Multiple Models Integration
Sort
View
149
Voted
DAS
2008
Springer
15 years 5 months ago
A Robust System to Detect and Localize Texts in Natural Scene Images
In this paper, we present a robust system to accurately detect and localize texts in natural scene images. For text detection, a region-based method utilizing multiple features an...
Yi-Feng Pan, Xinwen Hou, Cheng-Lin Liu
139
Voted
DC
2008
15 years 3 months ago
Fast computation by population protocols with a leader
Fast algorithms are presented for performing computations in a probabilistic population model. This is a variant of the standard population protocol model--in which finite-state ag...
Dana Angluin, James Aspnes, David Eisenstat
141
Voted
CADE
2008
Springer
16 years 4 months ago
Automated Induction with Constrained Tree Automata
We propose a procedure for automated implicit inductive theorem proving for equational specifications made of rewrite rules with conditions and constraints. The constraints are int...
Adel Bouhoula, Florent Jacquemard
124
Voted
TSD
2005
Springer
15 years 9 months ago
Why Is the Recognition of Spontaneous Speech so Hard?
Although speech, derived from reading texts, and similar types of speech, e.g. that from reading newspapers or that from news broadcast, can be recognized with high accuracy, recog...
Sadaoki Furui, Masanobu Nakamura, Tomohisa Ichiba,...
134
Voted
CSMR
1999
IEEE
15 years 8 months ago
Employing Use-cases and Domain Knowledge for Comprehending Resource Usage
Philips Electronics is a world wide electronics company that develops many products containing embedded software. These products range from shavers with only few hundred bytes of ...
René L. Krikhaar, Maarten Pennings, J. Zonn...