3229 search results - page 246 / 646 » Theories with the Independence Property |
156
click to vote
APAL
2008
15 years 6 months ago
2008
Building on previous work by Coquand and Spiwack [8] we construct a strict domaintheoretic model for the untyped -calculus with pattern matching and term rewriting which has the p...
172
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
A novel system, called the oscillator system, consisting of order of p 3 functions (signals) on the finite field p; with p an odd prime, is described and studied. The new functions...
192
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this survey a novel system, called the oscillator system, consisting of order of p3 functions (signals) on the finite field Fp, is described and studied. The new functions are p...
158
click to vote
FSS
2008
15 years 6 months ago
2008
In this paper, we propose granularity as a new index to characterize the nonspecificity of a summative kernel. This index is intended to reflect the behavior of a kernel in the us...
167
click to vote
CN
2006
15 years 6 months ago
2006
For over a decade, the Nash Bargaining Solution (NBS) concept from cooperative game theory has been used in networks to share resources fairly. Due to its many appealing propertie...