5506 search results - page 445 / 1102 » Minimal Logic Programs |
166
click to vote
EMSOFT
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...
177
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: A logical model of the known metabolic processes in S. cerevisiae was constructed from iFF708, an existing Flux Balance Analysis (FBA) model, and augmented with inform...
151
click to vote
ACISICIS
2008
IEEE
16 years 1 months ago
2008
IEEE
Dedicated machine constraint is one of the new challenges introduced in photolithography machinery of the semiconductor manufacturing system due to natural bias. Previous research...
167
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose an Integer Programming (IP) framework to undertake the dedicated photolithography machine constraint in semiconductor manufacturing. The constraint is one of the new ch...
254
click to vote
MMSP
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper addresses the problem of dense disparity estimation from a pair of color stereo images. Based on a convex set theoretic formulation, the stereo matching problem is ca...