5510 search results - page 88 / 1102 » Mathematics |
130
click to vote
ENDM
2010
15 years 3 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
109
Voted
EOR
2010
15 years 3 months ago
2010
We study a network airline revenue management problem with discrete customer choice behavior. We discuss a choice model based on the concept of preference orders, in which custome...
75
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
The Recoil Growth algorithm, proposed in 1999 by Consta et al., is one of the most efficient algorithm available in the literature to sample from a multi-polymer system. While the ...
JSAC
2006
15 years 3 months ago
2006
This manuscript introduces a mathematically tractable and accurate model of narrowband power line noise based on experimental measurements. In this paper, the noise is expressed as...
112
Voted
JMIV
2010
15 years 1 months ago
2010
A new mathematical image model is introduced using the photographic process as the starting point. Images are represented as infinite sequences of photons allowing analysis at arb...