Sciweavers

3844 search results - page 610 / 769
» Modular interpreted systems
Sort
View
CVPR
2009
IEEE
16 years 18 days ago
Catadioptric Projectors
We present a catadioptric projector analogous to a catadioptric camera by combining a commodity digital projector with additional optical units. We show that, by using specially sh...
Yuanyuan Ding, Jing Xiao, Kar-Han Tan, Jingyi Yu
GECCO
2007
Springer
148views Optimization» more  GECCO 2007»
16 years 18 days ago
Fuzzy-UCS: preliminary results
This paper presents Fuzzy-UCS, a Michigan-style Learning Fuzzy-Classifier System designed for supervised learning tasks. Fuzzy-UCS combines the generalization capabilities of UCS...
Albert Orriols-Puig, Jorge Casillas, Ester Bernad&...
IWCLS
2007
Springer
16 years 18 days ago
Evolving Fuzzy Rules with UCS: Preliminary Results
This paper presents Fuzzy-UCS, a Michigan-style Learning Fuzzy-Classifier System designed for supervised learning tasks. FuzzyUCS combines the generalization capabilities of UCS w...
Albert Orriols-Puig, Jorge Casillas, Ester Bernad&...
LFCS
2007
Springer
16 years 18 days ago
Model Checking Knowledge and Linear Time: PSPACE Cases
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
Kai Engelhardt, Peter Gammie, Ron van der Meyden
PPDP
2007
Springer
16 years 17 days ago
Relational semantics for effect-based program transformations with dynamic allocation
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
Nick Benton, Andrew Kennedy, Lennart Beringer, Mar...