8828 search results - page 1195 / 1766 » Formal methods in practice |
181
Voted
CSL
2006
Springer
15 years 7 months ago
2006
Springer
In this contribution, the Bayesian framework for interpretation of evidence when applied to forensic speaker recognition is introduced. Different aspects of the use of voice as ev...
155
click to vote
EOR
2006
15 years 7 months ago
2006
Scheduling trainees (graduate students) is a complicated problem that has to be solved frequently in many hospital departments. We will describe a trainee-scheduling problem encou...
178
Voted
ESWA
2006
15 years 7 months ago
2006
The collection of waste is a highly visible and important municipal service that involves large expenditures. Waste collection problems are, however, one of the most difficult ope...
174
Voted
IJNSEC
2008
15 years 7 months ago
2008
This paper outlines a novel biometric key release scheme to bind application-specific key from biometric data such that the key can be retrieved effectively by using DiscreteHashi...
229
Voted
IA
2006
15 years 7 months ago
2006
Automated reasoning is becoming an essential issue in many Web systems and applications, especially in emerging Semantic Web applications. This article first discusses reasons for...