Sciweavers

962 search results - page 147 / 193
» Near-optimal solutions for the generalized max-controlled se...
Sort
View
PLDI
2005
ACM
15 years 3 months ago
Permission-based ownership: encapsulating state in higher-order typed languages
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...
Neelakantan R. Krishnaswami, Jonathan Aldrich
WISE
2003
Springer
15 years 3 months ago
Publishing and Querying the Histories of Archived Relational Databases in XML
There is much current interest in publishing and viewing databases as XML documents. The general benefits of this approach follow from the popularity of XML and the tool set avai...
Fusheng Wang, Carlo Zaniolo
HYBRID
1994
Springer
15 years 2 months ago
Symbolic Controller Synthesis for Discrete and Timed Systems
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
Eugene Asarin, Oded Maler, Amir Pnueli
GECCO
2010
Springer
187views Optimization» more  GECCO 2010»
15 years 1 months ago
Evolving agent behavior in multiobjective domains using fitness-based shaping
Multiobjective evolutionary algorithms have long been applied to engineering problems. Lately they have also been used to evolve behaviors for intelligent agents. In such applicat...
Jacob Schrum, Risto Miikkulainen
GECCO
2008
Springer
192views Optimization» more  GECCO 2008»
14 years 11 months ago
Non-linear factor model for asset selection using multi objective genetic programming
Investors vary with respect to their expected return and aversion to associated risk, and hence also vary in their performance expectations of the stock market portfolios they hol...
Ghada Hassan