3428 search results - page 436 / 686 » Making the Case |
149
click to vote
APAL
2010
15 years 6 months ago
2010
A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTT0 and LTT 0, which we...
133
click to vote
ANOR
2007
15 years 6 months ago
2007
The min-SHIFT DESIGN problem (MSD) is an important scheduling problem that needs to be solved in many industrial contexts. The issue is to find a minimum number of shifts and the...
212
click to vote
ASC
2010
15 years 6 months ago
2010
The general purpose optimization method known as Particle Swarm Optimization (PSO) has received much attention in past years, with many attempts to find the variant that performs ...
204
click to vote
CGF
2010
15 years 6 months ago
2010
We present a novel technique for the efficient boundary evaluation of sweep operations applied to objects in polygonal boundary representation. These sweep operations include Mink...
209
click to vote
CN
2010
15 years 6 months ago
2010
The ever growing request for digital information raises the need for content distribution architectures providing high storage capacity, data availability and good performance. Wh...