Sciweavers

1336 search results - page 35 / 268
» Modelling and Analysis of PKI-Based Systems Using Process Ca...
Sort
View
TASLP
2008
106views more  TASLP 2008»
15 years 3 months ago
Multipitch Analysis of Polyphonic Music and Speech Signals Using an Auditory Model
A method is described for estimating the fundamental frequencies of several concurrent sounds in polyphonic music and multiple-speaker speech signals. The method consists of a comp...
Anssi Klapuri
MEDINFO
2007
115views Healthcare» more  MEDINFO 2007»
15 years 4 months ago
Using an Accident Model to Design Safe Electronic Medication Management Systems
Large-scale implementation of electronic prescribing systems (e-PS) is likely to introduce at least some machinerelated errors that will harm patients. We present a dynamic system...
Farah Magrabi, Geoff McDonnell, Johanna I. Westbro...
CAISE
2005
Springer
15 years 8 months ago
A Meta Model for Process Mining Data
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...
Boudewijn F. van Dongen, Wil M. P. van der Aalst
SEFM
2005
IEEE
15 years 8 months ago
Formal Analysis of Human-computer Interaction using Model-checking
Experiments with simulators allow psychologists to better understand the causes of human errors and build models of cognitive processes to be used in Human Reliability Assessment ...
Antonio Cerone, Peter A. Lindsay, Simon Connelly
JIB
2007
124views more  JIB 2007»
15 years 3 months ago
Analysis of integrated biomolecular networks using a generic network analysis suite
The informative value of biomolecular networks has shifted from being solely information resources for possible cellular partners (whether these embody proteins, (ribo)nucleic aci...
Matthias Oesterheld, Hans-Werner Mewes, Volker St&...