9521 search results - page 465 / 1905 » Compiling with continuations, continued |
128
click to vote
MLQ
2008
15 years 4 months ago
2008
We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-t...
MLQ
2006
15 years 4 months ago
2006
Abstract. We continue investigations of forcing notions with strong ccc properties introducing new methods of building sweet forcing notions. We also show that quotients of topolog...
120
Voted
ICGA
2007
15 years 4 months ago
2007
In 1989, an effort to solve the game of checkers began. It was naïve because of the daunting size of the search space, 5×1020 positions, and because of computer capabilities of ...
120
click to vote
APPML
2005
15 years 4 months ago
2005
We present existence, uniqueness and continuous dependence (with respect to probability distributions on polarization parameters) of solutions in Maxwell systems. This provides a ...
104
click to vote
AUTOMATICA
2005
15 years 4 months ago
2005
It has been recently established that, when estimating parametric models on the basis of closed loop data, the frequency domain variability of direct and various indirect methods ...