2302 search results - page 357 / 461 » Testing as Abstraction |
158
click to vote
ATMOS
2007
15 years 8 months ago
2007
Abstract. In this paper, we give an overview of the Locomotive Simulater/Optimizer (LSO) decision support system developed by us for railroads. This software is designed to imitate...
206
click to vote
FORMATS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
166
click to vote
BILDMED
2007
15 years 8 months ago
2007
Abstract. The problem of repositioning mobile C-arms to defined target locations during surgical procedures currently requires not only time, but also skill and additional radiati...
154
click to vote
BIOSTEC
2008
15 years 8 months ago
2008
Abstract. The wavelet transform is a widely used pre-filtering step for subsequent R spike detection by thresholding of the coefficients. The time-frequency decomposition is indeed...
197
click to vote
ECIR
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Social tagging systems provide methods for users to categorise resources using their own choice of keywords (or "tags") without being bound to a restrictive set...