Sciweavers

28 search results - page 5 / 6
» An Exponential Model for Infinite Rankings
Sort
View
ESOP
2008
Springer
15 years 1 months ago
Verification of Higher-Order Computation: A Game-Semantic Approach
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
C.-H. Luke Ong
104
Voted
MIR
2006
ACM
178views Multimedia» more  MIR 2006»
15 years 5 months ago
Dual diffusion model of spreading activation for content-based image retrieval
This paper introduces a content-based information retrieval method inspired by the ideas of spreading activation models. In response to a given query, the proposed approach comput...
Serhiy Kosinov, Stéphane Marchand-Maillet, ...
102
Voted
WEBDB
2010
Springer
155views Database» more  WEBDB 2010»
15 years 4 months ago
Learning Topical Transition Probabilities in Click Through Data with Regression Models
The transition of search engine users’ intents has been studied for a long time. The knowledge of intent transition, once discovered, can yield a better understanding of how diļ...
Xiao Zhang, Prasenjit Mitra
SIGECOM
2008
ACM
158views ECommerce» more  SIGECOM 2008»
14 years 11 months ago
Information revelation and random entry in sequential ascending auctions
We examine a model in which multiple buyers with single-unit demand are faced with an infinite sequence of auctions. New buyers arrive on the market probabilistically, and are each...
Maher Said
TSP
2010
14 years 6 months ago
Single antenna power measurements based direction finding
Abstract--In this paper, the problem of estimating direction-ofarrival (DOA) of multiple uncorrelated sources from single antenna power measurements is addressed. Utilizing the fac...
Joni Polili Lie, Thierry Blu, Chong Meng Samson Se...