971 search results - page 15 / 195 » Approximate Satisfiability and Equivalence |
135
click to vote
ICC
2011
IEEE
14 years 13 days ago
2011
IEEE
—We consider a general wireless channel model for different types of code-division multiple access (CDMA) and space-division multiple-access (SDMA) systems with isometric random ...
88
Voted
EUSFLAT
2001
15 years 2 months ago
2001
We argue that fuzzy equivalences, and in particular fuzzy equalities, in general are not suitable to model approximate equality due to the notion of transitivity. Using them for t...
102
Voted
FOSSACS
2005
Springer
15 years 6 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
128
click to vote
DSMML
2004
Springer
15 years 6 months ago
2004
Springer
The equivalent kernel [1] is a way of understanding how Gaussian process regression works for large sample sizes based on a continuum limit. In this paper we show how to approximat...
109
Voted
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...