3229 search results - page 339 / 646 » The Theory of Timed Automata |
160
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper introduces a generalized cross-correlation (GCC) measure for spike train analysis derived from reproducing kernel Hilbert spaces (RKHS) theory. An estimator for GCC is ...
175
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
A method is presented that allows one to exactly determine all the characteristics of a PSO’s sampling distribution and explain how it changes over time, in the presence stochas...
192
click to vote
ER
2005
Springer
16 years 11 days ago
2005
Springer
The idea of Conceptual Neighbourhood Diagram (CND) has proved its relevance in the areas of qualitative reasoning about time and qualitative reasoning about space. In this work, a ...
184
click to vote
TABLEAUX
2005
Springer
16 years 9 days ago
2005
Springer
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
142
Voted
UC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We propose a novel formulation of the firing squad synchronization problem. In this formulation we may use more than one general state and the general state to be used i...