5456 search results - page 116 / 1092 » General Equilibrium Theory |
126
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
We describe CoSP, a general framework for conducting computational soundness proofs of symbolic models and for embedding these proofs into formal calculi. CoSP considers arbitrary...
125
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
— In this paper, we present an analytical method to evaluate the bit error rate (BER) of the ultra-wideband (UWB) system in the IEEE 802.15.4a standardized channel model. The IEE...
129
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
Many industrial or research activities are so expensive that it is often benefitable for the involved agents to cofund the construction or the purchase of a common required resou...
126
click to vote
SAT
2004
Springer
15 years 10 months ago
2004
Springer
Kolaitis and Vardi pointed out that constraint satisfaction and conjunctive query containment are essentially the same problem. We study the Boolean conjunctive queries under a mor...
128
click to vote
IFSA
2003
Springer
15 years 10 months ago
2003
Springer
In this paper we use concepts from the lattice-based theory of morphological operators and fuzzy sets to develop generalized lattice image operators that are nonlinear convolutions...