678 search results - page 20 / 136 » Generalized Percolation Processes Using Pretopology Theory |
CORR
2011
Springer
13 years 3 months ago
2011
Springer
Processes of Place/Transition Systems6 Rob van Glabbeeka,b , Ursula Goltzc , Jens-Wolfhard Schickec aNICTA, Sydney, Australia bSchool of Computer Science and Engineering, Universit...
STACS
2010
Springer
14 years 3 months ago
2010
Springer
One-counter processes (OCPs) are pushdown processes which operate only on a unary stack alphabet. We study the computational complexity of model checking computation tree logic (CT...
ENTCS
2002
13 years 8 months ago
2002
Category theory has proved a useful tool in the study of type systems for sequential programming languages. Various approaches have been proposed to use categorical models to exam...
LDVF
2000
13 years 8 months ago
2000
We present preliminary considerations on the architecture of a CONCEPT processing system for robots. With the help of CONCEPTS cognitive robots will be able to structure their sen...
ICMI
2010
Springer
13 years 5 months ago
2010
Springer
We present a novel approach to speech-driven facial animation using a non-parametric switching state space model based on Gaussian processes. The model is an extension of the shar...