8647 search results - page 597 / 1730 » The Container Selection Problem |
181
click to vote
AIML
2006
15 years 8 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...
190
click to vote
CORR
2008
Springer
15 years 7 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...
204
click to vote
CORR
2008
Springer
15 years 7 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 ...
201
click to vote
KES
2008
Springer
15 years 7 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...
148
click to vote
ENDM
2007
15 years 7 months ago
2007
An s-graph is a graph with two kind of edges: subdivisible edges and real edges. A realisation of an s-graph B is any graph obtained by subdividing subdivisible edges of B into pa...