84 search results - page 13 / 17 » Recursive temporal namespaces |
CORR
2008
Springer
13 years 11 months ago
2008
Springer
A channel machine consists of a finite controller together with several fifo channels; the controller can read messages from the head of a channel and write messages to the tail of...
SCALESPACE
2007
Springer
14 years 5 months ago
2007
Springer
Abstract. A family of spatio-temporal scale-spaces suitable for a moving observer is developed. The scale-spaces are required to be time causal for being usable for real time measu...
TIME
2006
IEEE
14 years 4 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
ECAI
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. We formulate the problem of least squares temporal difference learning (LSTD) in the framework of least squares SVM (LS-SVM). To cope with the large amount (and possible ...
ATVA
2008
Springer
14 years 27 days ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...