1512 search results - page 173 / 303 » When Suboptimal Rules |
MCS
2004
Springer
15 years 4 months ago
2004
Springer
Recent works about perceptron-based fusion of multiple fingerprint matchers showed the effectiveness of such approach in improving the performance of personal identity verification...
MDM
2004
Springer
15 years 4 months ago
2004
Springer
This paper provides detail on two key components of the Houdini framework under development at Bell Labs, that enable context-aware and privacy-conscious user data sharing appropr...
SAS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
CHARME
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
CIVR
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. In this paper, we present an audio-based event detection approach shown to be effective when applied to the Sports broadcast data. The main benefit of this approach is ...