4949 search results - page 272 / 990 » Consistency and Set Intersection |
212
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
We present a static analysis by Abstract Interpretation to check for run-time errors in parallel C programs. Following our work on Astr´ee, we focus on embedded critical programs ...
169
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
This paper describes a framework for detecting unusual events in surveillance videos. Most surveillance systems consist of multiple video streams, but traditional event detection ...
143
click to vote
ICML
2005
IEEE
16 years 7 months ago
2005
IEEE
We extend the PAC-Bayes theorem to the sample-compression setting where each classifier is represented by two independent sources of information: a compression set which consists ...
176
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In multiuser detection, the set of users active at any time may be unknown to the receiver. A two-step detection procedure, in which multiuser detection is preceded by active-user...
174
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
One of the biggest challenges in emotional speech resynthesis is the selection of modification parameters that will make humans perceive a targeted emotion. The best selection me...