570 search results - page 74 / 114 » A Novel Approach For Detecting Symmetries in CSP Models |
SPIN
2010
Springer
13 years 6 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
ACCV
2006
Springer
14 years 1 months ago
2006
Springer
A novel video object segmentation method is proposed which aims at combining color and motion information. The model has a multilayer structure: Each feature has its own layer, cal...
ICASSP
2009
IEEE
14 years 2 months ago
2009
IEEE
We develop a framework to detect when certain sounds are present in a mixed audio signal. We focus on the regime where out of a large number of possible sounds, a small but unknow...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper we present a novel approach to acoustic model training for non-audible murmur (NAM) recognition using normal speech data transformed into NAM data. NAM is extremely ...
IAT
2007
IEEE
14 years 2 months ago
2007
IEEE
Self-healing in fault tolerant multi-agent systems is the system ability to automatically detect, diagnose, and repair the faults. However, most of the available solutions are fra...