2543 search results - page 315 / 509 » Optimal Ordered Problem Solver |
111
click to vote
DFT
2004
IEEE
15 years 4 months ago
2004
IEEE
This paper addresses the problem of test response compaction. In order to maximize compaction ratio, a single-output encoder based on check matrix of a (n, n1, m, 3) convolutional...
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
We add freeze quantifiers to the game logic ATL in order to specify real-time objectives for games played on timed structures. We define the semantics of the resulting logic TATL b...
ISMIS
2000
Springer
15 years 4 months ago
2000
Springer
This paper is devoted to the problem of learning to predict ordinal (i.e., ordered discrete) classes using classification and regression trees. We start with S-CART, a tree inducti...
121
Voted
CDC
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, the formation flight of multiple Unmanned Helicopter (UH) systems is researched and a new decentralized receding horizon formation control algorithm is supposed. The...
85
Voted
GECCO
2008
Springer
15 years 1 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...