3713 search results - page 502 / 743 » Constructing a Calculus of Programs |
109
click to vote
EOR
2006
15 years 4 months ago
2006
We used the so-called deterministic annealing algorithm due to Rose and Gurewitz by the classification of patent documents. A C++ program based on this algorithm was run first on s...
139
click to vote
JGO
2008
15 years 4 months ago
2008
This article complements the paper [7], where we showed that a compact feasible set of a standard semi-infinite optimization problem can be approximated arbitrarily well by a leve...
128
click to vote
JBI
2006
15 years 4 months ago
2006
Bioinformatics is a dynamic research area in which a large number of algorithms and programs have been developed rapidly and independently without much consideration so far of the...
111
click to vote
LISP
2006
15 years 3 months ago
2006
Abstract. Defunctionalization is a program transformation that eliminates functions as first-class values. We show that defunctionalization can be viewed as a type-preserving trans...
124
click to vote
ECCC
2002
15 years 3 months ago
2002
We shall give simpler proofs of some lower bounds on monotone computations. We describe a simple condition on combinatorial structures, such that the rank of the matrix associated...