6656 search results - page 395 / 1332 » Change, Change, Change: Three Approaches |
167
click to vote
SPIN
1999
Springer
15 years 11 months ago
1999
Springer
A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his colleagues in [4, 3]...
155
Voted
ISSS
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper we discuss, what breakpoints in Source Level Emulationa are, how we can work with them and how we have to change the cicuit generated by high level synthesis to do s...
192
Voted
ICIAR
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. This paper presents a robust technique for estimating onboard monocular vision system pose. The proposed approach is based on a dense optical flow that is robust against...
214
click to vote
BIOADIT
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we propose a resilient scheme for multi-path routing using a biologically-inspired attractor selection method. The main advantage of this approach is that it is highl...
161
click to vote
ESOA
2006
15 years 10 months ago
2006
The research reported in this paper is concerned with assessing the usefulness of reinforcment learning (RL) for on-line calibration of parameters in evolutionary algorithms (EA). ...