7064 search results - page 360 / 1413 » From States to Histories |
180
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
Analog adaptive filters with digitally programmable coefficients can provide speed, power, and area advantages over digital adaptive filters while overcoming the dc offset problem...
147
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
190
click to vote
COMPSAC
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper discusses how conventional testing criteria such as branch coverage can be applied for the testing of member functions inside a class. To support such testing technique...
169
click to vote
CLA
2007
15 years 8 months ago
2007
The generalization of policies in reinforcement learning is a main issue, both from the theoretical model point of view and for their applicability. However, generalizing from a se...
226
click to vote
WSS
2001
15 years 8 months ago
2001
Abstract. A data structure is stabilizing if, for any arbitrary (and possibly illegitimate) initial state, any sequence of sufficiently many operations brings the data structure to...