1012 search results - page 168 / 203 » Process Algebra with Backtracking |
AVSS
2009
IEEE
14 years 1 months ago
2009
IEEE
In this paper, a new integrated particle filter is proposed for video object tracking. After particles are generated by importance sampling, each particle is regressed on the tran...
FSEN
2009
Springer
14 years 28 days ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
AISC
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. Origami (paper folding) has a long tradition in Japan's culture and education. We are developing a computational origami system, based on symbolic computation system...
EDBTW
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. Most of the recent work on adaptive processing and continuous querying of data streams assume that data objects come in the form of tuples, thus relying on the relational...
APN
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...