289 search results - page 5 / 58 » A Tour with Constructive Real Numbers |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
MP
2006
13 years 7 months ago
2006
In the paper we address the Distance-Constrained Capacitated Vehicle Routing Problem (DCVRP), where k minimum-cost routes through a central depot have to be constructed so as to co...
VCIP
2003
13 years 9 months ago
2003
This paper presents an approach to capture visual appearance of a real environment such as an interior of a room. We propose the method for generating arbitrary viewpoint images b...
EJC
2010
13 years 7 months ago
2010
Mutually unbiased bases (MUBs) in complex vector spaces play several important roles in quantum information theory. At present, even the most elementary questions concerning the m...
BMCBI
2010
13 years 2 months ago
2010
Background: Nonparametric Bayesian techniques have been developed recently to extend the sophistication of factor models, allowing one to infer the number of appropriate factors f...