3317 search results - page 354 / 664 » Strategies in Rigid-Variable Methods |
162
click to vote
NA
2010
15 years 1 months ago
2010
In this paper we propose a new framework for designing a delay differential equation (DDE) solver which works with any supplied initial value problem (IVP) solver that is based on...
183
click to vote
SBMF
2010
Springer
15 years 1 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
236
click to vote
TSMC
2010
15 years 1 months ago
2010
: This paper studies face recognition by using hyperspectral imagery in the visible light bands. The spectral measurements over the visible spectrum have different discriminatory i...
248
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper addresses the problem of estimating the statistical distribution of multiple-tissue non-stationary ultrasound images of skin. The distribution of multiple-tissue images...
188
click to vote
ANOR
2011
14 years 10 months ago
2011
The challenge of maximizing the diversity of a collection of points arises in a variety of settings, including the setting of search methods for hard optimization problems. One ver...