Sciweavers

4894 search results - page 316 / 979
» Dynamic Abstraction Planning
Sort
View
EUROCAST
2009
Springer
126views Hardware» more  EUROCAST 2009»
16 years 1 months ago
Mathematical and Computational Modeling of Neurons and Neuronal Ensembles
Abstract. In Computational Neuroscience, mathematical and computational modeling are differentiated. In this paper, both kinds of modeling are considered. In particular, modeling ...
Andreas Schierwagen
AFP
2008
Springer
245views Formal Methods» more  AFP 2008»
16 years 1 months ago
Self-adjusting Computation with Delta ML
Abstract. In self-adjusting computation, programs respond automatically and efficiently to modifications to their data by tracking the dynamic data dependences of the computation ...
Umut A. Acar, Ruy Ley-Wild
ICIC
2005
Springer
16 years 9 days ago
Aligning and Segmenting Signatures at Their Crucial Points Through DTW
Abstract. This paper presents a novel approach that uses the dynamic time warping (DTW) to match the crucial points of signatures. Firstly, the signatures are aligned through the D...
Zhong-Hua Quan, Hong-Wei Ji
160
Voted
GECCO
2004
Springer
16 years 5 days ago
An Evolved Autonomous Controller for Satellite Task Scheduling
Abstract. A scheduling algorithm for satellites imaging tasks in a dynamic and uncertain environment. The environment is dynamic in the sense that imaging tasks will be added or re...
Darren M. Chitty
ICALP
2004
Springer
16 years 5 days ago
A General Technique for Managing Strings in Comparison-Driven Data Structures
Abstract. This paper presents a general technique for optimally transforming any dynamic data structure D that operates on atomic and indivisible keys by constant-time comparisons,...
Gianni Franceschini, Roberto Grossi