Sciweavers

5234 search results - page 161 / 1047
» Method Components - Rationale Revealed
Sort
View
IJCNN
2000
IEEE
15 years 7 months ago
A New Method for Tracking Modulations in Tonal Music in Audio Data Format
Cq-profiles are 12-dimensional vectors, each component referring to a pitch class. They can be employed to represent keys. Cq-profiles are calculated with the constant Q filter...
Hendrik Purwins, Benjamin Blankertz, Klaus Obermay...
FLAIRS
2000
15 years 4 months ago
The Use of Formal Methods for Trusted Digital Signature Devices
This paper presents a formal security policy model for SmartCards with digital signature application. This kind of model is necessary for each evaluation according to Information ...
Bruno Langenstein, Roland Vogt, Markus Ullmann
ENTCS
2006
151views more  ENTCS 2006»
15 years 3 months ago
Stochastic Simulation Methods Applied to a Secure Electronic Voting Model
We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the...
Jeremy T. Bradley, Stephen T. Gilmore
ICIW
2009
IEEE
15 years 1 months ago
Detecting Ontology Mappings via Descriptive Statistical Methods
Instance-based ontology mapping comprises a collection of theoretical approaches and applications for identifying the implicit semantic similarities between two ontologies on the ...
Konstantin Todorov
ICICIC
2006
IEEE
15 years 9 months ago
Visibility Estimation in Foggy Conditions by In-Vehicle Camera and Radar
We propose a method of judging fog density by using invehicle camera images and millimeter-wave (mm-W) radar data. This method determines fog density by evaluating both the visibi...
Kenji Mori, Terutoshi Kato, Tomokazu Takahashi, Ic...