3161 search results - page 140 / 633 » Hybrid results merging |
162
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
135
click to vote
BILDMED
2008
15 years 7 months ago
2008
Abstract. A key technique for protein analysis is the geometric alignment of 2D gel electrophoresis (2-DE) images. We introduce a new hybrid elastic registration approach for 2-DE ...
156
click to vote
LREC
2008
15 years 7 months ago
2008
This paper describes experimental use of the multi-agent architecture to integrate Natural Language and Information Systems research and teaching, by casting a group of students a...
181
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Iterative decoding was not originally introduced as the solution to an optimization problem rendering the analysis of its convergence very difficult. In this paper, we investigate...
164
click to vote
EOR
2006
15 years 6 months ago
2006
In this paper a hybrid algorithm to solve Irregular Strip Packing problems is presented. The metaheuristic simulated annealing is used to guide the search over the solution space ...