Sciweavers

273 search results - page 33 / 55
» Mechanization for solving SPP by reducing order method
Sort
View
BMCBI
2010
87views more  BMCBI 2010»
15 years 2 months ago
Prodigal: prokaryotic gene recognition and translation initiation site identification
Background: The quality of automated gene prediction in microbial organisms has improved steadily over the past decade, but there is still room for improvement. Increasing the num...
Doug Hyatt, Gwo-Liang Chen, Philip F. LoCascio, Mi...
CHARME
1995
Springer
120views Hardware» more  CHARME 1995»
15 years 5 months ago
Timing analysis of asynchronous circuits using timed automata
In this paper we present a method formodeling asynchronous digital circuits by timed automata. The constructed timed automata serve as \mechanical" and veri able objects for a...
Oded Maler, Amir Pnueli
CVPR
2003
IEEE
16 years 4 months ago
Automatic Relighting of Overlapping Textures of a 3D Model
This paper presents a new method to correct overlapping textures of a single 3D model where each texture was obtained under possibly different lighting conditions and color respon...
Etienne Beauchesne, Sébastien Roy
GECCO
2006
Springer
170views Optimization» more  GECCO 2006»
15 years 5 months ago
Combining simplex with niche-based evolutionary computation for job-shop scheduling
We propose a hybrid algorithm (called ALPINE) between Genetic Algorithm and Dantzig's Simplex method to approximate optimal solutions for the Flexible Job-Shop Problem. Local...
Syhlin Kuah, Joc Cing Tay
ICASSP
2010
IEEE
15 years 2 months ago
Gradient Polytope Faces Pursuit for large scale sparse recovery problems
Polytope Faces Pursuit is a greedy algorithm that performs Basis Pursuit with similar order complexity to Orthogonal Matching Pursuit. The algorithm adds one basis vector at a tim...
Aris Gretsistas, Ivan Damnjanovic, Mark D. Plumble...