1021 search results - page 115 / 205 » Pure Subtype Systems |
AAAI
2004
13 years 9 months ago
2004
This paper addresses the question of allocating computational resources among a set of algorithms in order to achieve the best performance on a scheduling problem instance. Our pr...
IJCAI
2003
13 years 9 months ago
2003
After many successes, statistical approaches that have been popular in the parsing community are now making headway into Natural Language Generation (NLG). These systems are aimed...
BMVC
1998
13 years 9 months ago
1998
A technique for recognizing planar objects in three-dimensional space is described. The object's domain is not restricted to purely two-dimensional items but includes fairly ...
AAAI
1990
13 years 9 months ago
1990
Automating proofs by induction is important in many computer science and artificial intelligence applications, in particular in program verification and specification systems. We ...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
We describe the application of genetic programming (GP) to a problem in pure mathematics, in the study of finite algebras. We document the production of human-competitive results...