410 search results - page 29 / 82 » Symbolic Representations and Analysis of Large Probabilistic... |
RAS
2008
13 years 7 months ago
2008
Even the best laid plans can fail, and robot plans executed in real world domains tend to do so often. The ability of a robot to reliably monitor the execution of plans and detect...
TCOM
2010
13 years 6 months ago
2010
—This paper deals with the case of a high speed mobile receiver operating in an orthogonal-frequency-divisionmultiplexing (OFDM) communication system. Assuming the knowledge of d...
TASLP
2010
13 years 2 months ago
2010
Abstract--This paper presents a novel method for automatically classifying consumer video clips based on their soundtracks. We use a set of 25 overlapping semantic classes, chosen ...
SIGMOD
2008
ACM
14 years 8 months ago
2008
ACM
Uncertain data are inherent in some important applications, such as environmental surveillance, market analysis, and quantitative economics research. Due to the importance of thos...
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...