Sciweavers

1847 search results - page 224 / 370
» Hybrid Functional Interpretations
Sort
View
ACMSE
2006
ACM
15 years 8 months ago
Yaccscript: a platform for intersecting high-level languages
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
John Healey
DIAL
2006
IEEE
129views Image Analysis» more  DIAL 2006»
15 years 8 months ago
Ink recognition based on statistical classification methods
Statistical classification methods can be applied on images of historical manuscript in order to characterize the various kinds of inks used. As these methods do not require destr...
Vasiliki Kokla, Alexandra Psarrou, Vassilis Konsta...
GECCO
2006
Springer
168views Optimization» more  GECCO 2006»
15 years 8 months ago
A Bayesian approach to learning classifier systems in uncertain environments
In this paper we propose a Bayesian framework for XCS [9], called BXCS. Following [4], we use probability distributions to represent the uncertainty over the classifier estimates ...
Davide Aliprandi, Alex Mancastroppa, Matteo Matteu...
ETRA
2000
ACM
120views Biometrics» more  ETRA 2000»
15 years 8 months ago
An interactive model-based environment for eye-movement protocol analysis and visualization
This paper describes EyeTracer, an interactive environment for manipulating, viewing, and analyzing eye-movement protocols. EyeTracer augments the typical functionality of such sy...
Dario D. Salvucci
LPAR
2000
Springer
15 years 8 months ago
A Tactic Language for the System Coq
We propose a new tactic language for the system goq, which is intended to enrich the current tactic combinators (tacticals). This language is based on a functional core with recurs...
David Delahaye