Sciweavers

9405 search results - page 388 / 1881
» Computing a Model of Set Theory
Sort
View
SIGIR
2004
ACM
16 years 7 days ago
Usefulness of hyperlink structure for query-biased topic distillation
In this paper, we introduce an information theoretic method for estimating the usefulness of the hyperlink structure induced from the set of retrieved documents. We evaluate the e...
Vassilis Plachouras, Iadh Ounis
161
Voted
FOSSACS
2004
Springer
16 years 5 days ago
Duality for Labelled Markov Processes
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...
Michael W. Mislove, Joël Ouaknine, Dusko Pavl...
IJON
1998
44views more  IJON 1998»
15 years 6 months ago
Hierarchical RBF networks and local parameters estimate
The method presented here is aimed to a direct fast setting of the parameters of a RBF network for function approximation. It is based on a hierarchical gridding of the input spac...
N. Alberto Borghese, Stefano Ferrari
IFIP
2004
Springer
16 years 5 days ago
New-HOPLA: A Higher-order Process Language with Name Generation
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
Glynn Winskel, Francesco Zappa Nardelli
ICPR
2004
IEEE
16 years 8 months ago
Evaluation of Three Optical Flow-Based Observation Models for Tracking
In this paper, we study the use of optical flow as a characteristic for tracking. We analyze the behavior of three flowbased observation models for particle filter algorithms, and...
José M. Fuertes, Manuel J. Lucena, Nicolas ...