Sciweavers

7978 search results - page 449 / 1596
» Combining shared-coin algorithms
Sort
View
CSR
2008
Springer
15 years 8 months ago
Invariant Generation for P-Solvable Loops with Assignments
We discuss interesting properties of a general technique for inferring polynomial invariants for a subfamily of imperative loops, called the P-solvable loops, with assignments only...
Laura Kovács
NIPS
2003
15 years 8 months ago
Bounded Finite State Controllers
We describe a new approximation algorithm for solving partially observable MDPs. Our bounded policy iteration approach searches through the space of bounded-size, stochastic fini...
Pascal Poupart, Craig Boutilier
ANLP
2000
91views more  ANLP 2000»
15 years 8 months ago
Finite-State Reduplication in One-Level Prosodic Morphology
Reduplication, a central instance of prosodic morphology, is particularly challenging for state-ofthe-art computational morphology, since it involves copying of some part of a pho...
Markus Walther
BMVC
1998
15 years 8 months ago
A Novel Approach to Real-time Non-intrusive Gaze Finding
We investigate a holistic approach to real-time gaze tracking by means of a well-defined neural network modelling strategy combined with robust image processing algorithms. Based ...
Li-Qun Xu, Dave Machin, Phil Sheppard
CORR
2010
Springer
145views Education» more  CORR 2010»
15 years 6 months ago
Random Indexing K-tree
Random Indexing K-tree is the combination of two algorithms suited for large scale document clustering. Keywords Random Indexing, K-tree, Dimensionality Reduction, B-tree, Search T...
Christopher M. De Vries, Lance De Vine, Shlomo Gev...