3820 search results - page 527 / 764 » Bounded Model Debugging |
122
Voted
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
We study the task of object part extraction and labeling, which seeks to understand objects beyond simply identifiying their bounding boxes. We start from bottom-up segmentation of...
143
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Existing approaches to timing analysis under uncertainty are based on restrictive assumptions. Statistical STA techniques assume that the full probabilistic distribution of parame...
136
click to vote
MOBIHOC
2009
ACM
16 years 3 months ago
2009
ACM
Providing differentiated Quality of Service (QoS) over unreliable wireless channels is an important challenge for supporting several future applications. We analyze a model that h...
135
click to vote
MOBIHOC
2008
ACM
16 years 2 months ago
2008
ACM
We address the cost incurred in increasing the transport capacity of wireless ad hoc networks over what can be attained when sources and destinations communicate over multi-hop pa...
104
click to vote
COCOON
2009
Springer
15 years 9 months ago
2009
Springer
We provide a smoothed analysis of Hoare’s find algorithm and we revisit the smoothed analysis of quicksort. Hoare’s find algorithm – often called quickselect – is an easy...