1003 search results - page 132 / 201 » Type Inference with Inequalities |
129
click to vote
ICTAI
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper reports our investigation on the problem of belief update in Bayesian networks (BN) using uncertain evidence. We focus on two types of uncertain evidences, virtual evid...
110
click to vote
TPHOL
2006
IEEE
15 years 10 months ago
2006
IEEE
We extract on the computer a number of moduli of uniform continuity for the first few elements of a sequence of closed terms t of G¨odel’s T of type (N→N)→(N→N). The gen...
143
click to vote
ACIVS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Functional magnetic resonance (fMRI) data are often corrupted with colored noise. To account for this type of noise, many prewhitening and pre-coloring strategies have be...
128
click to vote
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Abduction is usually carried out on partially-defined predicates. In this paper we investigate abduction applied to fully-defined predicates, specifically linear arithmetic cons...
161
click to vote
IEAAIE
2005
Springer
15 years 9 months ago
2005
Springer
In this paper, a neural network based approach to visualize performance data of a GSM network is presented. The proposed approach consists of several steps. First, a suitable propo...