6800 search results - page 605 / 1360 » Testing with Functions as Specifications |
210
click to vote
NPL
1998
15 years 7 months ago
1998
Abstract. One of the main problems associated with arti cial neural networks online learning methods is the estimation of model order. In this paper, we report about a new approach...
182
click to vote
TCAD
2002
15 years 7 months ago
2002
This paper describes an application of a Constructive Genetic Algorithm (CGA) to the Gate Matrix Layout Problem (GMLP). The GMLP happens in very large scale integration (VLSI) desi...
153
click to vote
TOG
2002
15 years 7 months ago
2002
This paper describes a new method for contouring a signed grid whose edges are tagged by Hermite data (i.e; exact intersection points and normals). This method avoids the need to ...
193
click to vote
ICRA
2010
IEEE
15 years 6 months ago
2010
IEEE
— Bipedal walking could be implemented into a robot by mimicking spring-like leg behaviour. The fundamental model, describing human-like leg function in walking is the bipedal sp...
192
click to vote
ISVC
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, the well-known SIFT detector is extended with a bivariate feature localization. This is done by using function models that assume a Gaussian feature shape for the de...