Sciweavers

3154 search results - page 207 / 631
» Computing Closed Skycubes
Sort
View
CP
2009
Springer
16 years 1 months ago
Using Relaxations in Maximum Density Still Life
The Maximum Density Sill-Life Problem is to fill an n × n board of cells with the maximum number of live cells so that the board is stable under the rules of Conway’s Game of L...
Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la...
FOSSACS
2009
Springer
16 years 1 months ago
Dependency Tree Automata
We introduce a new kind of tree automaton, a dependency tree automaton, that is suitable for deciding properties of classes of terms with binding. Two kinds of such automaton are d...
Colin Stirling
MCS
2009
Springer
16 years 1 months ago
Multi-class Boosting with Class Hierarchies
Abstract. We propose AdaBoost.BHC, a novel multi-class boosting algorithm. AdaBoost.BHC solves a C class problem by using C − 1 binary classifiers defined by a hierarchy that i...
Goo Jun, Joydeep Ghosh
CONIELECOMP
2009
IEEE
16 years 1 months ago
Visual Servoing Controller for Robot Manipulators
Abstract— This paper presents a new control family of fixedcamera visual servoing for planar robot manipulators. The methodology is based-on energy shaping methodology in order ...
Jaime Cid, Fernando Reyes
DATE
2009
IEEE
126views Hardware» more  DATE 2009»
16 years 1 months ago
Integrated scheduling and synthesis of control applications on distributed embedded systems
Many embedded control systems comprise several control loops that are closed over a network of computation nodes. In such systems, complex timing behavior and communication lead t...
Soheil Samii, Anton Cervin, Petru Eles, Zebo Peng