244 search results - page 22 / 49 » Elsewhere |
FASE
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
IBERAMIA
2004
Springer
14 years 3 months ago
2004
Springer
The theory of multi-adjoint logic programs has been introduced as a unifying framework to deal with uncertainty, imprecise data or incomplete information. From the applicative part...
IH
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Existing navigation services, such as GPS, offer no signalintegrity (anti-spoof) protection for the general public, especially not with systems for remote attestation of...
ISMIR
2004
Springer
14 years 3 months ago
2004
Springer
This paper describes the development of a polyphonic music retrieval system with the n-gram approach. Musical n-grams are constructed from polyphonic musical performances in MIDI ...
LCN
2003
IEEE
14 years 3 months ago
2003
IEEE
Active Queue Management (AQM) is an attempt to find a delicate balance between two antagonistic Internet queuing requirements: First, buffer space should be maximized to accommod...