10891 search results - page 1607 / 2179 » Combining Model Reductions |
158
Voted
LISP
2006
15 years 4 months ago
2006
We introduce a concrete semantics for floating-point operations which describes the propagation of roundoff errors throughout a calculation. This semantics is used to assert the co...
147
Voted
NETWORKS
2008
15 years 4 months ago
2008
In this paper, we present a combined study of price competition and traffic control in a congested network. We study a model in which service providers own the routes in a network...
135
Voted
MCS
2006
Springer
15 years 4 months ago
2006
Springer
We describe a fractional-step numerical procedure for the simulation of immiscible three-phase flow in heterogeneous porous media that takes into account capillary pressure and ap...
134
click to vote
FGCS
2007
15 years 4 months ago
2007
We propose a semi-automated method for redeploying bioinformatic databases indexed in a Web portal as a decentralized, semantically integrated and service-oriented Data Grid. We g...
122
click to vote
NPL
2006
15 years 4 months ago
2006
The correct assessment of meat quality (i.e., to fulfill the consumer's needs) is crucial element within the meat industry. Although there are several factors that affect the ...