12289 search results - page 491 / 2458 » computing 2006 |
139
click to vote
ORL
2007
15 years 6 months ago
2007
We establish the existence results for the Allaz–Vila [B. Allaz, J.-L. Vila, Cournot competition, forward markets and efficiency, J. Econ. Theory 59 (1993) 1–16] forward mark...
129
click to vote
COMPUTING
2006
15 years 6 months ago
2006
The ULV decomposition (ULVD) is an important member of a class of rank-revealing two-sided orthogonal decompositions used to approximate the singular value decomposition (SVD). Th...
133
click to vote
LICS
2006
IEEE
16 years 21 days ago
2006
IEEE
U. Berger, [11] significantly simplified Tait’s normalisation proof for bar recursion [27], see
178
click to vote
PUC
2002
15 years 6 months ago
2002
Location models are crucial to location-aware applications. In this paper we present two approaches for modeling location information in an infrastructure-based and an ad hoc netwo...
155
click to vote
CIE
2006
Springer
15 years 10 months ago
2006
Springer
Wegner and Eberbach[Weg04b] have argued that there are fundamental limitations to Turing Machines as a foundation of computability and that these can be overcome by so-called super...