Sciweavers

3145 search results - page 438 / 629
» A Computational Psycholinguistic Model of Natural Language P...
Sort
View
ESOP
2012
Springer
12 years 5 months ago
The Call-by-Need Lambda Calculus, Revisited
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
Stephen Chang, Matthias Felleisen
ICCV
2007
IEEE
14 years 11 months ago
Joint Feature Tracking and Radiometric Calibration from Auto-Exposure Video
To capture the full brightness range of natural scenes, cameras automatically adjust the exposure value which causes the brightness of scene points to change from frame to frame. ...
Seon Joo Kim, Jan-Michael Frahm, Marc Pollefeys
ICPR
2010
IEEE
14 years 1 months ago
Evolving Fuzzy Classifiers: Application to Incremental Learning of Handwritten Gesture Recognition Systems
In this paper, we present a new method to design customizable self-evolving fuzzy rule-based classifiers. The presented approach combines an incremental clustering algorithm with a...
Abdullah Almaksour, Eric Anquetil, Solen Quiniou, ...
ISMB
1998
13 years 10 months ago
BioSim: A New Qualitative Simulation Environment for Molecular Biology
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
Karsten R. Heidtke, Steffen Schulze-Kremer
IPPS
1999
IEEE
14 years 1 months ago
BSP in CSP: Easy as ABC
Abstract. In this paper we describe how the language of Communicating Sequential Processes CSP has been applied to the analysis of a transport layer protocol used in the implementa...
Andrew C. Simpson, Jonathan M. D. Hill, Stephen R....