4961 search results - page 825 / 993 » Homomorphism-Homogeneous Relational Structures |
105
Voted
JLP
2010
14 years 11 months ago
2010
A formalism for expressing the operational semantics of proof languages used in procedural theorem provers is proposed. It is argued that this formalism provides an elegant way to...
100
Voted
MA
2010
Springer
14 years 11 months ago
2010
Springer
Tail dependence and conditional tail dependence functions describe, respectively, the tail probabilities and conditional tail probabilities of a copula at various relative scales....
105
click to vote
SPEECH
2010
14 years 11 months ago
2010
In native speech, durational patterns convey linguistically relevant phenomena such as phrase structure, lexical stress, rhythm, and word boundaries. The lower intelligibility of ...
165
click to vote
TIT
2010
14 years 11 months ago
2010
Upper and lower bounds are obtained for the joint entropy of a collection of random variables in terms of an arbitrary collection of subset joint entropies. These inequalities gene...
176
click to vote
TNN
2010
14 years 11 months ago
2010
Abstract--Recurrent neural networks have become a prominent tool for optimizations including linear or nonlinear variational inequalities and programming, due to its regular mathem...