4266 search results - page 327 / 854 » The container loading problem |
153
Voted
SODA
2008
ACM
15 years 6 months ago
2008
ACM
We develop a framework for obtaining Fully Polynomial Time Approximation Schemes (FPTASs) for stochastic univariate dynamic programs with either convex or monotone single-period c...
145
Voted
AIML
2006
15 years 6 months ago
2006
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...
141
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper presents a novel technique for counterexample generation in probabilistic model checking of Markov chains and Markov Decision Processes. (Finite) paths in coun...
138
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
: In image classification, merging the opinion of several human experts is very important for solving different tasks such as evaluation or training. Indeed, the reality is rarely ...
140
click to vote
KES
2008
Springer
15 years 4 months ago
2008
Springer
Evolvable Hardware (EHW) is a new method for designing electronic circuits. However, there are several problems to solve for making high performance systems. One is the limited sca...