854 search results - page 119 / 171 » Abstracting from Failure Probabilities |
172
click to vote
UMUAI
1998
15 years 4 months ago
1998
We present an approach to keyhole plan recognition which uses a dynamic belief (Bayesian) network to represent features of the domain that are needed to identify users’ plans and...
163
click to vote
FAC
2010
15 years 2 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
206
click to vote
MLG
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We revisit an application developed originally using Inductive Logic Programming (ILP) by replacing the underlying Logic Program (LP) description with Stochastic Logic Pr...
162
click to vote
JSAC
2007
15 years 4 months ago
2007
Abstract— Distributed space-time coding is a means of achieving diversity through cooperative communication in a wireless relay network. In this paper, we consider a transmission...
181
click to vote
TASLP
2010
14 years 11 months ago
2010
Abstract--This paper presents a model for machine aided human translation (MAHT) that integrates source language text and target language acoustic information to produce the text t...