Sciweavers

922 search results - page 136 / 185
» A generalization of the Lin-Zhao theorem
Sort
View
IANDC
2000
64views more  IANDC 2000»
13 years 8 months ago
Bisimilarity of Open Terms
The standard way of lifting a binary relation, R, from closed terms of an algebra to open terms is to de ne its closed-instance extension, Rci, which holds for a given pair of ope...
Arend Rensink
DATAMINE
1998
145views more  DATAMINE 1998»
13 years 8 months ago
A Tutorial on Support Vector Machines for Pattern Recognition
The tutorial starts with an overview of the concepts of VC dimension and structural risk minimization. We then describe linear Support Vector Machines (SVMs) for separable and non-...
Christopher J. C. Burges
NGC
1998
Springer
115views Communications» more  NGC 1998»
13 years 8 months ago
On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching
Reducing redundancy in search has been a major concern for automated deduction. Subgoal-reduction strategies, such as those based on model elimination and implemented in Prolog te...
Maria Paola Bonacina, Jieh Hsiang
TIT
2002
91views more  TIT 2002»
13 years 8 months ago
Hidden Markov processes
An overview of statistical and information-theoretic aspects of hidden Markov processes (HMPs) is presented. An HMP is a discrete-time finite-state homogeneous Markov chain observe...
Yariv Ephraim, Neri Merhav
IJAR
2008
140views more  IJAR 2008»
13 years 8 months ago
Financial risk measurement with imprecise probabilities
Although financial risk measurement is a largely investigated research area, its relationship with imprecise probabilities has been mostly overlooked. However, risk measures can b...
Paolo Vicig