3690 search results - page 167 / 738 » Computation with classical sequents |
111
Voted
EOR
2007
15 years 16 days 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...
IJON
2007
15 years 15 days 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...
APAL
2005
15 years 15 days 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...
103
Voted
TEC
2008
15 years 14 days 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...
80
Voted
CAS
2007
15 years 12 days 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 ...