2488 search results - page 326 / 498 » An improvement in formal verification |
131
click to vote
AAAI
2012
13 years 4 months ago
2012
Planning is vital to a wide range of domains, including robotics, military strategy, logistics, itinerary generation and more, that both humans and computers find difficult. Col...
149
click to vote
AAMAS
2012
Springer
13 years 9 months ago
2012
Springer
The importance of affect in delivering engaging experiences in entertainment and educational games is well recognized. Yet, current techniques for building affect-aware games are l...
ICCV
2009
IEEE
16 years 6 months ago
2009
IEEE
Object detection in cluttered, natural scenes has a high
complexity since many local observations compete for object
hypotheses. Voting methods provide an efficient solution
to ...
133
click to vote
ICCV
2003
IEEE
16 years 3 months ago
2003
IEEE
Human identification at a distance has recently gained growing interest from computer vision researchers. This paper aims to propose a visual recognition algorithm based upon fusi...
106
Voted
ICIP
2001
IEEE
16 years 3 months ago
2001
IEEE
A multiple description scalar quantization (MDSQ) based coding system can be regarded as a source coder (quantizer) followed by a channel coder, i.e. the combination of index and ...