13099 search results - page 95 / 2620 » Cooperative method development |
CORR
2011
Springer
13 years 4 months ago
2011
Springer
—The subject of this work is the patrolling of an environment with the aid of a team of autonomous agents. We consider both the design of open-loop trajectories with optimal prop...
GECCO
2006
Springer
14 years 28 days ago
2006
Springer
A boosting algorithm based on cellular genetic programming to build an ensemble of predictors is proposed. The method evolves a population of trees for a fixed number of rounds an...
CLA
2004
13 years 10 months ago
2004
cessary to abstract it and eliminate the redundancy data. In this context, a method for data reduction based on the formal concept analysis is proposed in [16,17]. At the same time...
LOPSTR
1995
Springer
14 years 25 days ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
COLCOM
2007
IEEE
14 years 3 months ago
2007
IEEE
—Co-located collaboration in classroom is the topic we tackle in this paper. We present COFFEE a tailorable collaborative environment that is designed for interactive, colocated ...