456 search results - page 33 / 92 » What is good |
IJCAI
2003
13 years 10 months ago
2003
There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...
ALT
2008
Springer
14 years 5 months ago
2008
Springer
The question investigated in this paper is to what extent an input representation influences the success of learning, in particular from the point of view of analyzing agents that...
AIIA
2009
Springer
14 years 3 months ago
2009
Springer
This paper studies the following question: given an instance of the propositional satisfiability problem, a randomized satisfiability solver, and a cluster of n computers, what i...
PDCAT
2009
Springer
14 years 3 months ago
2009
Springer
Abstract— In symbolic computation, polynomial multiplication is a fundamental operation akin to matrix multiplication in numerical computation. We present efficient implementati...
CISIM
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper the off–line type signature analyses have been considered. Signature image by means of three different approaches is analysed, what allows to define features (weigh...