1399 search results - page 181 / 280 » Multi-party Finite Computations |
135
click to vote
MICCAI
2005
Springer
16 years 5 months ago
2005
Springer
During hysteroscopy a hydrometra is maintained, i.e. the uterus is distended with liquid media to access and visualize the uterine cavity. The pressure and flow induced by the liqu...
140
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
Finite mixtures of tree-structured distributions have been shown to be efficient and effective in modeling multivariate distributions. Using Dirichlet processes, we extend this ap...
128
click to vote
ICML
2006
IEEE
16 years 5 months ago
2006
IEEE
We consider the problem of choosing a linear classifier that minimizes misclassification probabilities in two-class classification, which is a bi-criterion problem, involving a tr...
133
click to vote
ICML
2006
IEEE
16 years 5 months ago
2006
IEEE
For a Markov Decision Process with finite state (size S) and action spaces (size A per state), we propose a new algorithm--Delayed Q-Learning. We prove it is PAC, achieving near o...
138
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. An approach based on term rewriting techniques for the automated termination analysis of imperative programs operating on integers is presented. An imperative program is ...