3994 search results - page 717 / 799 » A Linear Logical Framework |
132
click to vote
WINE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Most existing market maker mechanisms for prediction markets are designed for events with a finite number of outcomes. All known attempts on designing market makers for f...
135
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: An active sonar system consists of a sound source activating a surveillance area and a receiver listening for echoes reflected from targets. In a bistatic setup, the source and t...
156
click to vote
ICASSP
2009
IEEE
15 years 2 months ago
2009
IEEE
A unified framework to jointly solve the two problems of localization and synchronization at the same time is presented in this paper. The joint approach is attractive because it ...
145
click to vote
ICASSP
2009
IEEE
15 years 2 months ago
2009
IEEE
We consider a broadcast channel with multiple antennas at the base station and single-antenna receivers, and we study transceiver design with Quality of Service (QoS) requirements...
131
click to vote
ICIP
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, we propose a generic and efficient object detection framework based on two heterogeneous features and demonstrate effectiveness of our method for a cat face detecti...