7557 search results - page 440 / 1512 » Modeling Timed Concurrent Systems |
195
click to vote
TASLP
2010
15 years 1 months ago
2010
This paper presents a maximum likelihood approach to multiple fundamental frequency (F0) estimation for a mixture of harmonic sound sources, where the power spectrum of a time fra...
187
click to vote
AMC
2006
15 years 6 months ago
2006
Church thesis and its variants say roughly that all reasonable models of computation do not have more power than Turing machines. In a contrapositive way, they say that any model ...
185
click to vote
IDEAL
2005
Springer
16 years 10 days ago
2005
Springer
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...
197
click to vote
HICSS
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper develops a model of an electrical power system, with its inherent embedded communication system, for the purpose of studying the characteristics of power system measure...
179
click to vote
SAFECOMP
2007
Springer
16 years 28 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...