8201 search results - page 291 / 1641 » Approaching Manual Intelligence |
217
click to vote
LFCS
2009
Springer
16 years 2 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
217
click to vote
ACAL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper illustrates how the Quadratic Assignment Problem (QAP) is used as a mathematical model that helps to produce a visualization of microarray data, based on the r...
178
click to vote
ICTAI
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we introduce a novel technique for modeling and recognizing gesture signals in 2D space. This technique is based on measuring the direction of the gradient of the mo...
157
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
The problem of providing tools to support legally valid negotiations between agents is becoming more and more critical. Agents are supposed to perform crucial tasks autonomously; ...
243
click to vote
GECCO
2005
Springer
16 years 28 days ago
2005
Springer
Particle Swarm Optimisation (PSO) uses a population of particles that fly over the fitness landscape in search of an optimal solution. The particles are controlled by forces tha...