1755 search results - page 138 / 351 » An efficient simulation algorithm based on abstract interpre... |
138
click to vote
ASC
2006
15 years 4 months ago
2006
This paper presents a new algorithm for enhancing the efficiency of simulation-based optimisation using local search and neural network metamodels. The local search strategy is ba...
123
click to vote
CIDU
2010
15 years 1 months ago
2010
Abstract. The Aviation Safety Reporting System (ASRS) is used to collect voluntarily submitted aviation safety reports from pilots, controllers and others. As such it is particular...
125
click to vote
ASWC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. The increasing amount of interlinked RDF data has finally made available the necessary building blocks for the web of data. This in turns makes it possible (and interest...
138
click to vote
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
115
click to vote
ICIP
2003
IEEE
16 years 4 months ago
2003
IEEE
In this paper, we propose a novel rate-distortion (R-D) optimized disparity based coding scheme for stereo images. This new scheme efficiently integrates the coding of the dispari...