Sciweavers

23590 search results - page 714 / 4718
» Algorithm Performance Contest
Sort
View
AMAI
2004
Springer
16 years 18 days ago
Improving Exact Algorithms for MAX-2-SAT
We study three new techniques which will speed up the branch-and-bound algorithm for the MAX-2-SAT problem: The first technique is a new lower bound function for the algorithm an...
Haiou Shen, Hantao Zhang
HIPC
2004
Springer
16 years 17 days ago
A Parallel State Assignment Algorithm for Finite State Machines
This paper summarizes the design and implementation of a parallel algorithm for state assignment of large Finite State Machines (FSMs). High performance CAD tools are necessary to...
David A. Bader, Kamesh Madduri
DSN
2003
IEEE
16 years 14 days ago
An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules
Our goal is to automatically obtain a distributed and fault-tolerant embedded system: distributed because the system must run on a distributed architecture; fault-tolerant because...
Alain Girault, Hamoudi Kalla, Mihaela Sighireanu, ...
MM
2003
ACM
120views Multimedia» more  MM 2003»
16 years 13 days ago
Linking multimedia presentations with their symbolic source documents: algorithm and applications
An algorithm is presented that automatically matches images of presentation slides to the symbolic source file (e.g., PowerPointTM or AcrobatTM ) from which they were generated. T...
Berna Erol, Jonathan J. Hull, Dar-Shyang Lee
CAIP
2003
Springer
236views Image Analysis» more  CAIP 2003»
16 years 12 days ago
Efficient Algorithm of Eye Image Check for Robust Iris Recognition System
For the improvement of iris recognition system performance, the filtering algorithm that picks out counterfeit and noisy data is very important. In this paper, as a part of preproc...
Jain Jang, Kwiju Kim, Yillbyung Lee