6800 search results - page 611 / 1360 » Testing with Functions as Specifications |
205
click to vote
JCP
2008
15 years 7 months ago
2008
In this paper, we suggest a neural network signal detector using radial basis function (RBF) network. We employ this RBF Neural detector to detect the presence or absence of a know...
198
Voted
COMBINATORICS
2004
15 years 7 months ago
2004
In this paper we bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive...
219
click to vote
ENTCS
2007
15 years 7 months ago
2007
We present two enhancements of the functional language L which is used in the eriFun system to write programs and formulate statements about them. Context dependent procedures all...
237
click to vote
TVLSI
2008
15 years 7 months ago
2008
With increasing levels of integration of multiple processing cores and new features to support software functionality, recent generations of microprocessors face difficult validati...
189
click to vote
ICRA
2010
IEEE
15 years 6 months ago
2010
IEEE
— Contact dynamics are commonly formulated as a linear complementarity problem. While this approach is superior to earlier spring-damper models, it can be inaccurate due to pyram...