Sciweavers

6253 search results - page 267 / 1251
» Use Case Modeling Guidelines
Sort
View
120
Voted
NC
2010
150views Neural Networks» more  NC 2010»
15 years 2 months ago
Deterministic and stochastic P systems for modelling cellular processes
This paper presents two approaches based on metabolic and stochastic P systems, together with their associated analysis methods, for modelling biological systems and illustrates th...
Marian Gheorghe, Vincenzo Manca, Francisco Jos&eac...
126
Voted
ACL
2010
15 years 1 months ago
Domain Adaptation of Maximum Entropy Language Models
We investigate a recently proposed Bayesian adaptation method for building style-adapted maximum entropy language models for speech recognition, given a large corpus of written la...
Tanel Alumäe, Mikko Kurimo
EMSOFT
2006
Springer
15 years 7 months ago
Analysis of the zeroconf protocol using UPPAAL
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
Biniam Gebremichael, Frits W. Vaandrager, Miaomiao...
153
Voted
TASLP
2011
14 years 10 months ago
A Probabilistic Interaction Model for Multipitch Tracking With Factorial Hidden Markov Models
—We present a simple and efficient feature modeling approach for tracking the pitch of two simultaneously active speakers. We model the spectrogram features of single speakers u...
Michael Wohlmayr, Michael Stark, Franz Pernkopf
122
Voted
DATE
2003
IEEE
98views Hardware» more  DATE 2003»
15 years 9 months ago
Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
Abhik Roychoudhury, Tulika Mitra, S. R. Karri