963 search results - page 2 / 193 » Modeling and analysis of real -time systems with mutex compo... |
AADEBUG
2005
Springer
13 years 11 months ago
2005
Springer
One of today’s challenges is producing reliable software in the face of an increasing number of interacting components. Our system CHET lets developers define specifications des...
SERP
2007
13 years 7 months ago
2007
- We previously proposed a Colored Petri Net (CPN) based modeling methodology to model multiagent systems. The methodology creates a component to describe the local behavior for ea...
ECAI
2004
Springer
13 years 11 months ago
2004
Springer
This paper addresses the diagnosability problem of distributed discrete event systems. Until now, the problem of diagnosability has always been solved by considering centralised ap...
ICASSP
2011
IEEE
12 years 9 months ago
2011
IEEE
We propose a new approach for automatic melody extraction from polyphonic audio, based on Probabilistic Latent Component Analysis (PLCA). An audio signal is first divided into vo...
CVPR
2007
IEEE
14 years 7 months ago
2007
IEEE
Appearance Models (AM) are commonly used to model appearance and shape variation of objects in images. In particular, they have proven useful to detection, tracking, and synthesis...