1159 search results - page 23 / 232 » On The Next Move in Programming |
IEICET
2007
13 years 9 months ago
2007
This paper describes a beam scanning antenna loading a movable dielectric plate on a microstrip comb-line antenna. This antenna uses the mechanical system that has the characteris...
CADE
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
EUROGP
2009
Springer
13 years 7 months ago
2009
Springer
We have created a real-time evolutionary object recognition system. Genetic Programming is used to automatically search the space of possible computer vision programs guided throug...
EUROGP
2006
Springer
14 years 1 months ago
2006
Springer
This paper investigates the use of genetic programming in automatized synthesis of scheduling heuristics. The applied scheduling technique is priority scheduling, where the next st...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
—We address a discrete-time, pursuit-evasion game with alternate moves played between two kinds of players: the pursuer and the evader. The pursuer wishes to capture the evader w...