Sciweavers

3954 search results - page 429 / 791
» Image-based Model Completion
Sort
View
108
Voted
IAT
2009
IEEE
15 years 11 months ago
Incorporating Trust into Combinatorial Auctions: What Does Trust Cost?
As the use of automated negotiations becomes more mainstream, one key attribute that needs to be incorporated is a measure of a seller’s trust or reliability. In this paper, we ...
Guruprasad Airy, Po-Chun Chen, Tracy Mullen, John ...
ICASSP
2009
IEEE
15 years 11 months ago
CMOS compressed imaging by Random Convolution
We present a CMOS imager with built-in capability to perform Compressed Sensing coding by Random Convolution. It is achieved by a shift register set in a pseudo-random configurat...
Laurent Jacques, Pierre Vandergheynst, Alexandre B...
TASE
2009
IEEE
15 years 11 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
EMO
2009
Springer
174views Optimization» more  EMO 2009»
15 years 11 months ago
Constraint Programming
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision...
Pascal Van Hentenryck
ICCPOL
2009
Springer
15 years 11 months ago
Dialogue Strategies to Overcome Speech Recognition Errors in Form-Filling Dialogue
Abstract. In a spoken dialogue system, the speech recognition performance accounts for the largest part of the overall system performance. Yet spontaneous speech recognition has an...
Sangwoo Kang, Songwook Lee, Jungyun Seo