Sciweavers

4190 search results - page 264 / 838
» Type Class Directives
Sort
View
ESA
2006
Springer
109views Algorithms» more  ESA 2006»
15 years 8 months ago
Multiline Addressing by Network Flow
We consider an optimization problem arising in the design of controllers for OLED displays. Our objective is to minimize amplitude of the electrical current through the diodes whic...
Friedrich Eisenbrand, Andreas Karrenbauer, Martin ...
AIPS
2007
15 years 7 months ago
Structural Patterns of Tractable Sequentially-Optimal Planning
We study the complexity of sequentially-optimal classical planning, and discover new problem classes for whose such optimization is tractable. The results are based on exploiting ...
Michael Katz, Carmel Domshlak
ECOOP
2008
Springer
15 years 6 months ago
Exploring Role Based Adaptation
The adapter design pattern [1], commonly used for integration and evolution in component-based systems, is originally described by roles. In classbased systems, the conventional re...
Sebastian Goetz, Ilie Savga
AGI
2008
15 years 6 months ago
Vector Symbolic Architectures: A New Building Material for Artificial General Intelligence
We provide an overview of Vector Symbolic Architectures (VSA), a class of structured associative memory models that offers a number of desirable features for artificial general int...
Simon D. Levy, Ross Gayler
AIML
2008
15 years 6 months ago
A modal perspective on monadic second-order alternation hierarchies
abstract. We establish that the quantifier alternation hierarchy of formulae of Second-Order Propositional Modal Logic (SOPML) induces an infinite corresponding semantic hierarchy ...
Antti Kuusisto