6800 search results - page 237 / 1360 » Testing with Functions as Specifications |
153
click to vote
ICRE
1998
IEEE
15 years 9 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
162
click to vote
ICPR
2002
IEEE
16 years 6 months ago
2002
IEEE
Face detection from cluttered images is very challenging due to the diverse variation of face appearance and the complexity of image background. In this paper, we propose a neural...
130
Voted
ISCIS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Term weighting is one of the most important aspects of modern Web retrieval systems. The weight associated with a given term in a document shows the importance of the ter...
132
click to vote
ITC
1997
IEEE
15 years 9 months ago
1997
IEEE
- An all-digital technique for the measurement of the jitter transfer function of charge-pump phase-locked loops is introduced. Input jitter may be generated using one of two metho...
149
click to vote
AISB
2008
Springer
15 years 7 months ago
2008
Springer
Imagination is generally regarded as a very powerful and advanced cognitive ability. In this paper we propose a modelling framework for what we call functional imagination: the ab...