12459 search results - page 198 / 2492 » cans 2006 |
132
Voted
CIE
2006
Springer
15 years 8 months ago
2006
Springer
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...
118
click to vote
CIE
2006
Springer
15 years 8 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...
133
click to vote
COLT
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present an improved version of random projections that takes advantage of marginal norms. Using a maximum likelihood estimator (MLE), marginconstrained random projecti...
118
Voted
CP
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents an enumerative approach for a sports league scheduling problem. This simple method can solve some instances involving a number T of teams up to 70 while the bes...
128
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a formal model of the substitution rules for soccer games as they existed at the 1994 World Cup. The model is expressed in VDM and can be animated with the VDMT...