1580 search results - page 77 / 316 » Modules for Crosscutting Models |
117
Voted
ISQED
2000
IEEE
15 years 7 months ago
2000
IEEE
A new algorithm to determine the number and value of realistic worst-case models for the performance of module library components is presented in this paper. The proposed algorith...
118
Voted
WSC
2007
15 years 5 months ago
2007
The paper presents an extensible Petri Net Markup Language (xPNML), which is an extended version of PNML. The xPNML format overcomes limitations associated with PNML structure for...
176
Voted
NCI
2004
15 years 4 months ago
2004
Starting from a modular artificial neural system modelling the integration of several perceptive stimuli, this article proposes a new implementation of the central module performi...
119
Voted
APN
2003
Springer
15 years 7 months ago
2003
Springer
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
120
click to vote
WCE
2007
15 years 3 months ago
2007
—In this paper, a novel approach for implementing Tamil isolated speech phoneme recognition is described. While most of the literature on Automatic Speech Recognition (ASR) is ba...