Sciweavers

125 search results - page 10 / 25
» Document reconstruction using dynamic programming
Sort
View
112
Voted
DAC
2003
ACM
16 years 19 days ago
Behavioral consistency of C and verilog programs using bounded model checking
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
Edmund M. Clarke, Daniel Kroening, Karen Yorav
ICDAR
2011
IEEE
13 years 11 months ago
Language-Independent Text Lines Extraction Using Seam Carving
Abstract—In this paper, we present a novel languageindependent algorithm for extracting text-lines from handwritten document images. Our algorithm is based on the seam carving ap...
Raid Saabni, Jihad El-Sana
ACL
2012
13 years 2 months ago
Text Segmentation by Language Using Minimum Description Length
The problem addressed in this paper is to segment a given multilingual document into segments for each language and then identify the language of each segment. The problem was mot...
Hiroshi Yamaguchi, Kumiko Tanaka-Ishii
95
Voted
IV
2007
IEEE
222views Visualization» more  IV 2007»
15 years 6 months ago
Video Stabilization Using Scale-Invariant Features
Video Stabilization is one of those important video processing techniques to remove the unwanted camera vibration in a video sequence. In this paper, we present a practical method...
Rong Hu, Rongjie Shi, I-Fan Shen, Wenbin Chen
KES
2000
Springer
15 years 3 months ago
On AIE-ASM: a software to simulate artificial stock markets with genetic programming
Agent-based computational economic modeling requires demanding work on computer programming. Usually, the publications as outcomes of running these programs do not provide readers ...
Shu-Heng Chen, Chung-Chih Liao, Chia-Hsuan Yeh