5510 search results - page 310 / 1102 » Mathematics |
125
click to vote
MSCS
2008
15 years 6 months ago
2008
We model micro-architectures with non-pipelined instruction processing and pipelined instruction processing, using Maurer machines, basic thread algebra and program algebra. We sho...
143
click to vote
NECO
2006
15 years 6 months ago
2006
In this paper we introduce some mathematical and numerical tools to analyze and interpret inhomogeneous quadratic forms. The resulting characterization is in some aspects similar ...
155
click to vote
NN
2006
Springer
15 years 6 months ago
2006
Springer
Learning vector quantization (LVQ) constitutes a powerful and intuitive method for adaptive nearest prototype classification. However, original LVQ has been introduced based on he...
139
click to vote
PRL
2006
15 years 6 months ago
2006
Image matching is a stage one performs as soon as one has two images of the same scene, taken from two different points of view. Matching these images is to find the mathematical ...
140
click to vote
AMAI
2005
Springer
15 years 6 months ago
2005
Springer
This paper investigates Walley's concepts of epistemic irrelevance and epistemic independence for imprecise probability models. We study the mathematical properties of irrele...