744 search results - page 118 / 149 » Observations on the Decidability of Transitions |
IROS
2006
IEEE
14 years 3 months ago
2006
IEEE
— To address perception problems we must be able to track dynamics targets of the environment. An important issue of tracking is filtering problem in which estimates of the targ...
MOBIQUITOUS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper introduces a new approach that addresses data contamination problems from attacks in unattended wireless sensor networks. We propose a sliding-window based spatio-tempo...
ATVA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Priorities are often used to resolve conflicts in timed systems. However, priorities are not directly supported by state-of-art model checkers. Often, a designer has to ...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
ATNoSFERES is a Pittsburgh style Learning Classifier System (LCS) in which the rules are represented as edges of an Augmented Transition Network. Genotypes are strings of tokens ...
ICAPR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper addresses the clustering problem of hidden dynamical systems behind observed multivariate sequences by assuming an interval-based temporal structure in the seq...