3680 search results - page 428 / 736 » cases 2010 |
260
click to vote
TIM
2010
15 years 2 months ago
2010
Polynomial chaos theory (PCT) has been proven to be an efficient and effective way to represent and propagate uncertainty through system models and algorithms in general. In partic...
193
click to vote
DCC
2010
IEEE
16 years 2 months ago
2010
IEEE
Word-based compression over natural language text has shown to be a good choice to trade compression ratio and speed, obtaining compression ratios close to 30% and very fast decom...
224
click to vote
ICRA
2010
IEEE
15 years 6 months ago
2010
IEEE
— Detecting the boundaries of objects is a key step in separating foreground objects from the background, which is useful for robotics and computer vision applications, such as o...
193
click to vote
SECON
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--This paper considers the novel area of quality-ofinformation (QoI)-aware network management of multitasking wireless sensor networks (WSNs). Specifically, it provides an ...
234
click to vote
TACAS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...