3690 search results - page 167 / 738 » Computation with classical sequents |
130
click to vote
EOR
2007
15 years 3 months ago
2007
This paper studies an arc routing problem with capacity constraints and time-dependent service costs. This problem is motivated by winter gritting applications where the ‘‘tim...
108
click to vote
IJON
2007
15 years 3 months ago
2007
We incorporate auditory-based features into an unconventional pattern classification system, consisting of a network of spiking neurones with dynamical and multiplicative synapse...
100
click to vote
APAL
2005
15 years 3 months ago
2005
We present an extension of Heyting Arithmetic in finite types called Uniform Heyting Arithmetic (HAu) that allows for the extraction of optimized programs from constructive and cla...
126
click to vote
TEC
2008
15 years 3 months ago
2008
Abstract--The complexity of the selection procedure of a genetic algorithm that requires reordering, if we restrict the class of the possible fitness functions to varying fitness f...
101
click to vote
CAS
2007
15 years 3 months ago
2007
Today, with the advances of computer storage and technology, there are huge datasets available, offering an opportunity to extract valuable information. Probabilistic approaches ...