6740 search results - page 549 / 1348 » Using Classification as a Programming Language |
129
click to vote
TOOLS
1997
IEEE
15 years 9 months ago
1997
IEEE
: This paper presents pattern histories for deriving two different callback libraries. The pattern histories document the important design decisions behind each library. The two re...
137
click to vote
CTCS
1997
Springer
15 years 9 months ago
1997
Springer
Monads can be used to model term rewriting systems by generalising the well-known equivalence between universal algebra and monads on the category Set. In [L¨u96], this semantics ...
173
click to vote
ICALP
1994
Springer
15 years 9 months ago
1994
Springer
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...
139
click to vote
PADL
2000
Springer
15 years 8 months ago
2000
Springer
In this article we present the University of Evora's Integrated Information System (SIIUE), which is meant to model most of the information necessary for the management and da...
152
click to vote
ICALP
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a method for verifying measurement-based quantum computations, by producing a quantum circuit equivalent to a given deterministic measurement pattern. We defin...