1308 search results - page 187 / 262 » Bayesian Algorithmic Mechanism Design |
115
Voted
ICFP
2005
ACM
16 years 15 days ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
124
Voted
ASWC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We consider the problem of designing data wrapping ontologies whose purpose is to describe relational data sources and to provide a semantically enriched access to the un...
117
click to vote
SAGT
2009
Springer
15 years 7 months ago
2009
Springer
We consider the loss in social welfare caused by individual rationality in matching scenarios. We give both theoretical and experimental results comparing stable matchings with soc...
113
Voted
ICDCS
2007
IEEE
15 years 6 months ago
2007
IEEE
A fundamental problem in a large scale decentralized stream processing system is how to best utilize the available resources and admission control the bursty and high volume input...
ICRA
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper describes realtime and robust tracking of a planar motion target by matched filter implemented on the CMOS+FPGA vision system. It is required to obtain positional a...