3169 search results - page 151 / 634 » Robust Timed Automata |
123
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
Parallel and distributed heterogeneous computing systems may operate in an environment that undergoes unpredictable changes causing certain system performance features to degrade....
101
click to vote
ISCAS
2005
IEEE
15 years 8 months ago
2005
IEEE
— This work presents a robust background calibration scheme for switched-capacitor (SC) pipelined analog-to-digital converters. A SC multiplying digital-to-analog converter (MDAC...
86
Voted
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
—This paper presents a robust, low-cost ADC code hit counting technique to record the number of times each ADC output code word appears with respect to the ramp input. Using a sm...
138
Voted
FORMATS
2010
Springer
15 years 18 days ago
2010
Springer
Abstract. We consider temporal logic formulae specifying constraints in continuous time and space on the behaviors of continuous and hybrid dynamical system admitting uncertain par...
139
click to vote
SIBGRAPI
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper we study the use of computer vision techniques for for underwater visual tracking and counting of fishes in vivo. The methodology is based on the application of a B...