Sciweavers

605 search results - page 66 / 121
» Normalizers and Split Extensions
Sort
View
ICDM
2009
IEEE
175views Data Mining» more  ICDM 2009»
14 years 8 months ago
Maximum Margin Clustering with Multivariate Loss Function
This paper presents a simple but powerful extension of the maximum margin clustering (MMC) algorithm that optimizes multivariate performance measure specifically defined for clust...
Bin Zhao, James Tin-Yau Kwok, Changshui Zhang
NFM
2011
225views Formal Methods» more  NFM 2011»
14 years 6 months ago
Synthesis for PCTL in Parametric Markov Decision Processes
Abstract. In parametric Markov Decision Processes (PMDPs), transition probabilities are not fixed, but are given as functions over a set of parameters. A PMDP denotes a family of ...
Ernst Moritz Hahn, Tingting Han, Lijun Zhang
JCAM
2010
107views more  JCAM 2010»
14 years 5 months ago
Pricing and hedging Asian basket spread options
Asian options, basket options and spread options have been extensively studied in literature. However, few papers deal with the problem of pricing general Asian basket spread opti...
Griselda Deelstra, Alexandre Petkovic, Michè...
94
Voted
SIGIR
2011
ACM
14 years 1 months ago
When documents are very long, BM25 fails!
We reveal that the Okapi BM25 retrieval function tends to overly penalize very long documents. To address this problem, we present a simple yet effective extension of BM25, namel...
Yuanhua Lv, ChengXiang Zhai
CONCUR
2011
Springer
13 years 10 months ago
Tractable Reasoning in a Fragment of Separation Logic
Abstract. In 2004, Berdine, Calcagno and O’Hearn introduced a fragment of separation logic that allows for reasoning about programs with pointers and linked lists. They showed th...
Byron Cook, Christoph Haase, Joël Ouaknine, M...