1511 search results - page 189 / 303 » Relational Parametricity for Computational Effects |
179
click to vote
CPC
2004
15 years 6 months ago
2004
We consider boolean functions over n variables. Any such function can be represented (and computed) by a complete binary tree with and or or in the internal nodes and a literal in...
164
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
This paper studies the problem of modeling complex domains of actions and change within highlevel action description languages. We investigate two main issues of concern: (a) can ...
166
click to vote
ICCHP
2010
Springer
15 years 4 months ago
2010
Springer
Assistive Technology (AT) software market is expensive, and related products are hard to find, especially for non-English speaking users. Open Source and free AT software partially...
142
click to vote
TIT
2010
15 years 1 months ago
2010
In this contribution, the capacity-achieving input covariance matrices for coherent blockfading correlated MIMO Rician channels are determined. In contrast with the Rayleigh and u...
200
click to vote
TNN
2010
15 years 1 months ago
2010
Abstract--Recently, sparse approximation has become a preferred method for learning large scale kernel machines. This technique attempts to represent the solution with only a subse...