3775 search results - page 14 / 755 » The Expression Problem Revisited |
DAM
2008
13 years 7 months ago
2008
We consider the vertex coloring problem, which may be stated as the problem of minimizing the number of labels that can be assigned to the vertices of a graph G such that each ver...
CCCG
2008
13 years 8 months ago
2008
A set of points in the plane is said to be in general position if no three of them are collinear and no four of them are cocircular. If a point set determines only distinct vector...
ARITH
2003
IEEE
14 years 21 days ago
2003
IEEE
The quotient digit selection in the SRT division algorithm is based on a few most significant bits of the remainder and divisor, where the remainder is usually represented in a r...
HT
2000
ACM
13 years 11 months ago
2000
ACM
Much of hypertext narrative relies on links to shape a reader’s interaction with the text. But links may be too limited to express ambiguity, imprecision, and entropy, or to adm...
FUIN
2010
13 years 2 months ago
2010
Abstract. In this paper we present a novel approach to big-step operational semantics. This approach stems from the observation that the typical type soundness property formulated ...