6800 search results - page 487 / 1360 » Testing with Functions as Specifications |
194
click to vote
TIP
2008
15 years 7 months ago
2008
In current level set image segmentation methods, the number of regions is assumed to known beforehand. As a result, it remains constant during the optimization of the objective fun...
190
click to vote
AUTOMATICA
2002
15 years 7 months ago
2002
This paper deals with the frequency domain properties of an ellipsoidal family of rational functions, i.e. a family of rational functions whose coefficients depend affinely on an ...
182
click to vote
SIAMJO
2000
15 years 7 months ago
2000
Abstract. We consider column sufficient linear complementarity problems and study the problem of identifying those variables that are zero at a solution. To this end we propose a n...
247
click to vote
PRL
2002
15 years 7 months ago
2002
The "fly algorithm" is a fast artificial evolution-based technique devised for the exploration of parameter space in pattern recognition applications. In the application...
210
click to vote
JUCS
2010
15 years 6 months ago
2010
: Assigning one (more) shared resource(s) to several requesters is a function of arbiters (allocators). This class of decision-making modules can be implemented in a number of ways...