CORR
2011
Springer
13 years 7 months ago
2011
Springer
—When is optimal estimation linear? It is well-known that, in the case of a Gaussian source contaminated with Gaussian noise, a linear estimator minimizes the mean square estimat...
CORR
2011
Springer
13 years 7 months ago
2011
Springer
If you are sharing a meal with a companion, how best to make sure you get your favourite fork-fulls? Ethiopian Dinner is a game in which two players take turns eating morsels from ...
CORR
2011
Springer
13 years 7 months ago
2011
Springer
Randomness extraction is the process of constructing a source of randomness of high quality from one or several sources of randomness of lower quality. The problem can be modeled ...
CORR
2011
Springer
13 years 7 months ago
2011
Springer
- Parallel robots admit generally several solutions to the direct kinematics problem. The aspects are associated with the maximal singularity free domains without any singular conf...
CORR
2011
Springer
13 years 7 months ago
2011
Springer
CORR
2011
Springer
13 years 7 months ago
2011
Springer
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...
CORR
2011
Springer
13 years 7 months ago
2011
Springer
CORR
2011
Springer
13 years 7 months ago
2011
Springer
We give a calculus for reasoning about the first-order fragment of classical logic that is adequate for giving the truth conditions of intuitionistic Kripke frames, and outline a...
CORR
2011
Springer
13 years 7 months ago
2011
Springer
Weconsiderthefollowingcakecuttinggame:AlicechoosesasetPofnpointsin thesquare(cake)[0,1]2,where(0,0)∈P;Bobcutsoutnaxis-parallelrectangles withdisjointinteriors,eachofthemhavingap...
CORR
2011
Springer
13 years 7 months ago
2011
Springer
Many-to-one matching markets exist in numerous different forms, such as college admissions, matching medical interns to hospitals for residencies, assigning housing to college st...