722 search results - page 95 / 145 » The State Operator in Real Time Process Algebra |
AHS
2006
IEEE
15 years 6 months ago
2006
IEEE
The paper presents a novel integrated system in which a number of image processing algorithm are embedded within a Genetic Algorithm (GA) based framework in order to provide an ad...
ICSOC
2009
Springer
15 years 6 months ago
2009
Springer
Services change over time, be it for internal improvements, be it for external requirements such as new legal regulations. For long running services, it may even be necessary to ch...
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
Frames of videos with static background and dynamic foreground can be viewed as samples of signals that vary slowly in time with sparse corruption caused by foreground objects. We...
DISCEX
2003
IEEE
15 years 5 months ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
RSS
2007
15 years 1 months ago
2007
—In this paper we show that all processes associated to the move-sense-update cycle of EKF SLAM can be carried out in time linear in the number of map features. We describe Divid...