1057 search results - page 150 / 212 » The Carrot Approach: Encouraging Use of Location Systems |
150
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...
161
click to vote
DEXA
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. In this paper, a new approach for retrieval from semistructured photographic collections is described. We have developed a retrieval model based on the Dempster-Shafer th...
209
click to vote
ICMI
2000
Springer
15 years 9 months ago
2000
Springer
Face detection is a key problem in human-computer interaction. In this paper, we present an algorithm for rotation invariant face detection in color images of cluttered scenes. It ...
197
click to vote
JSAC
2010
15 years 29 days ago
2010
Downlink spatial intercell interference cancellation (ICIC) is considered for mitigating other-cell interference using multiple transmit antennas. A principle question we explore ...
211
click to vote
ICIAR
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Increasing risks of spoof attacks and other common problems of unimodal biometric systems such as intra-class variations, nonuniversality and noisy data necessitate the u...