4341 search results - page 711 / 869 » Quantitative Model checking |
195
click to vote
ICC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- Wireless sensor networks (WSNs) require energyef cient protocols to improve the network lifetime. In this work, we adopt a cross-layer strategy that considers routing an...
166
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
The human voice is primarily a carrier of speech, but it also contains non-linguistic features unique to a speaker and indicative of various speaker demographics, e.g. gender, nat...
179
click to vote
AMAI
2010
Springer
15 years 3 months ago
2010
Springer
Constraints and quantitative preferences, or costs, are very useful for modelling many real-life problems. However, in many settings, it is difficult to specify precise preference ...
201
click to vote
CVPR
2011
IEEE
15 years 1 months ago
2011
IEEE
In this paper, we address the problem of shadow detection and removal from single images of natural scenes. Different from traditional methods that explore pixel or edge informati...
188
click to vote
TITS
2011
15 years 1 months ago
2011
—By using an onboard camera, it is possible to detect the free road surface ahead of the ego-vehicle. Road detection is of high relevance for autonomous driving, road departure w...