Sciweavers

4767 search results - page 468 / 954
» Structures for Abstract Rewriting
Sort
View
APLAS
2006
ACM
16 years 26 days ago
Automatic Testing of Higher Order Functions
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
Pieter W. M. Koopman, Rinus Plasmeijer
APLAS
2006
ACM
16 years 26 days ago
Using Metadata Transformations to Integrate Class Extensions in an Existing Class Hierarchy
Abstract. Class extensions provide a fine-grained mechanism to define incremental modifications to class-based systems when standard subclassing mechanisms are inappropriate. To...
Markus Lumpe
AMFG
2005
IEEE
181views Biometrics» more  AMFG 2005»
16 years 16 days ago
An Integrated Two-Stage Framework for Robust Head Pose Estimation
Abstract. Subspace analysis has been widely used for head pose estimation. However, such techniques are usually sensitive to data alignment and background noise. In this paper a tw...
Junwen Wu, Mohan M. Trivedi
CEC
2005
IEEE
16 years 15 days ago
Coevolution of neural Go players in a cultural environment
Abstract- We present experiments (co)evolving Go players based on artificial neural networks (ANNs) for a 5x5 board. ANN structure and weights are encoded in multi–chromosomal g...
Helmut A. Mayer, Peter Maier
CSMR
2005
IEEE
16 years 15 days ago
An XML-Based Framework for Language Neutral Program Representation and Generic Analysis
XML applications are becoming increasingly popular to define structured or semi-structured constrained data in XML for special application areas. In pursuit there is a growing mom...
Raihan Al-Ekram, Kostas Kontogiannis