5900 search results - page 237 / 1180 » Dependable Systems |
179
click to vote
BIOID
2008
15 years 8 months ago
2008
In this paper we present a new speaker recognition system based on the fusion of two identification classifiers followed by a verification step. The user pronounces two passwords: ...
134
click to vote
ICPR
2000
IEEE
16 years 7 months ago
2000
IEEE
In this paper we describe a machine vision system for inspecting bearings, which are an important part of electro-mechanical kWh meters. The system consists of a personal computer ...
159
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
In modern embedded systems including communication and multimedia applications, large fraction of power is consumed during memory access and data transfer. Thus, buses should be d...
133
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We propose a type system MLFthat generalizes ML with first-class polymorphism as in System F. Expressions may contain secondorder type annotations. Every typable expression admits...
175
click to vote
HYBRID
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper addresses a parameter synthesis problem for nonlinear hybrid systems. Considering a set of uncertain parameters and a safety property, we give an algorithm tha...