Sciweavers

4103 search results - page 434 / 821
» Some results on the Collatz problem
Sort
View
COMPSAC
2006
IEEE
16 years 25 days ago
Backtracking Algorithms and Search Heuristics to Generate Test Suites for Combinatorial Testing
Combinatorial covering arrays have been used in several testing approaches. This paper first discusses some existing methods for finding such arrays. Then a SAT-based approach a...
Jun Yan, Jian Zhang
DDECS
2006
IEEE
88views Hardware» more  DDECS 2006»
16 years 25 days ago
Minimization of Large State Spaces using Symbolic Branching Bisimulation
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
Ralf Wimmer, Marc Herbstritt, Bernd Becker
DIAL
2006
IEEE
103views Image Analysis» more  DIAL 2006»
16 years 25 days ago
Multi-Queue Merging Scheme And Its Application in Arabic Script Segmentation
It is an important topic for segmentation on how to merge the over-segmented subimages of characters into integral characters. The conventional character segmentation has been mos...
Pingping Xiu, Liangrui Peng, Xiaoqing Ding
ECRTS
2006
IEEE
16 years 25 days ago
Design and Performance of a Fault-Tolerant Real-Time CORBA Event Service
Developing distributed real-time and embedded (DRE) systems in which multiple quality-of-service (QoS) dimensions must be managed is an important and challenging problem. This pap...
Huang-Ming Huang, Christopher D. Gill
ICMCS
2006
IEEE
105views Multimedia» more  ICMCS 2006»
16 years 25 days ago
Web based Chinese Calligraphy Learning with 3-D Visualization Method
Chinese calligraphy is pictographic and each calligraphist has his own writing style. People often feel difficult in writing a demanded beautiful calligraphy style. In order to he...
Yingfei Wu, Yueting Zhuang, Yunhe Pan, Jiangqin Wu