4341 search results - page 623 / 869 » Quantitative Model checking |
193
click to vote
ISLPED
2010
ACM
15 years 4 months ago
2010
ACM
Abstract--As a replacement for the fast-fading GloballySynchronous model, we have defined a flexible design style called GRLS, for Globally-Ratiochronous, Locally-Synchronous, whic...
216
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relat...
222
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
We present a novel global stereo model that makes use of constraints from points with known depths, i.e., the Ground Control Points (GCPs) as referred to in stereo literature. Our...
179
click to vote
PAMI
2011
15 years 1 months ago
2011
—Object detection is challenging when the object class exhibits large within-class variations. In this work, we show that foreground-background classification (detection) and wit...
173
click to vote
TASLP
2010
15 years 1 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 ...