4894 search results - page 224 / 979 » Choices |
164
click to vote
MCS
2006
Springer
15 years 7 months ago
2006
Springer
We present a free energy lattice Boltzmann approach to modelling the dynamics of liquid drops on chemically patterned substrates. We start by describing a choice of free energy th...
196
click to vote
MSCS
2006
15 years 7 months ago
2006
Modified bar recursion has been used to give a realizability interpretation of the classical axioms of countable and dependent choice. In this paper we survey the main results con...
184
click to vote
TOPLAS
2008
15 years 7 months ago
2008
Current critical systems often use a lot of floating-point computations, and thus the testing or static analysis of programs containing floatingpoint operators has become a priori...
167
click to vote
JUCS
2007
15 years 7 months ago
2007
: In this paper the author considers some problems related to attribute dependencies in consensus determining. These problems concern the dependencies of attributes representing th...
150
click to vote
AMAI
2002
Springer
15 years 7 months ago
2002
Springer
This paper proposes adaptable boundary sets as a new version-space representation. It is shown that adaptable boundary sets can be adjusted to a version-space representation betwe...