12193 search results - page 126 / 2439 » It's not all about |
158
click to vote
ENTCS
2000
15 years 6 months ago
2000
Haskell currently lacks a standard operational semantics. We argue that such a semantics should be provided to enable reasoning about operational properties of programs, to ensure...
163
click to vote
IJCV
1998
15 years 6 months ago
1998
The purpose of this article is to define optic flow for scalar and density images without using a priori knowledge other than its defining conservation principle, and to incorpo...
166
click to vote
MOC
1998
15 years 6 months ago
1998
A detailed exposition of Kneser’s neighbour method for quadratic lattices over totally real number fields, and of the sub-procedures needed for its implementation, is given. Usi...
143
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we consider the problem of computing the density of states of a Boolean formula in CNF, a generalization of both MAX-SAT and model counting. Given a Boolean...
158
click to vote
JSC
2008
15 years 4 months ago
2008
We compute the singular points of a plane rational curve, parametrically given, using the implicitization matrix derived from the -basis of the curve. It is shown that singularity...