43 search results - page 4 / 9 » Mashup Model and Verification Using Mashup Processing Networ... |
JSC
2010
13 years 16 days ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
ICPR
2002
IEEE
14 years 6 months ago
2002
IEEE
The performance of face verification systems has steadily improved over the last few years, mainly focusing on models rather than on feature processing. State-of-the-art methods o...
ICASSP
2008
IEEE
14 years 6 days ago
2008
IEEE
Recent studies in speaker recognition have shown that scorelevel combination of subsystems can yield significant performance gains over individual subsystems. We explore the use ...
AEI
2007
13 years 5 months ago
2007
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
ICASSP
2009
IEEE
14 years 15 days ago
2009
IEEE
Techniques are presented for detecting phoneme level mispronunciations in utterances obtained from a population of impaired children speakers. The intended application of these ap...