5615 search results - page 344 / 1123 » On the Computational Capabilities of Several Models |
195
click to vote
GECCO
2004
Springer
16 years 28 days ago
2004
Springer
Two efficient clustering-based genetic algorithms are developed for the optimisation of reaction rate parameters in chemical kinetic modelling. The genetic algorithms employed are ...
189
click to vote
PATMOS
2004
Springer
16 years 27 days ago
2004
Springer
Portableembeddeddevicesmustpresentlyrunmultimediaandwireless network applications with enormous computational performance requirements at a low energy consumption. In these applica...
182
click to vote
KR
1994
Springer
15 years 11 months ago
1994
Springer
This paper analyzes a language for actions and the deontic modalities over actions -- i.e., the modalities permitted, forbidden and obligatory. The work is based on: (1) an action...
198
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...
216
click to vote
CVPR
2005
IEEE
16 years 9 months ago
2005
IEEE
When viewed from a system of multiple cameras with nonoverlapping fields of view, the appearance of an object in one camera view is usually very different from its appearance in a...