1996 search results - page 190 / 400 » Financial Theory 2 |
157
click to vote
ATVA
2009
Springer
15 years 11 months ago
2009
Springer
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...
121
click to vote
ICTAC
2009
Springer
15 years 11 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...
153
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
108
click to vote
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
We attempt to quantify the possible gains that can be achieved by examining a rate-distortion competition between a conventional and a compressive sampling solution to data rate r...
122
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— In this paper we present a novel approach to robust visual servoing. This method removes the feature tracking step from a typical visual servoing algorithm. We do not need corr...