77 search results - page 7 / 16 » On Boundedness Problems for Pushdown Vector Addition Systems |
AUTOMATICA
2002
14 years 10 months ago
2002
In this paper we present a framework in which the general hybrid filtering or state estimation problem can be formulated. The problem of joint tracking and classification can be f...
LOCA
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents the design, implementation, and evaluation of a footprintbased indoor location system on traditional Japanese GETA sandals. Our footprint location system can s...
114
click to vote
GECCO
2006
Springer
15 years 2 months ago
2006
Springer
In this paper we embed evolutionary computation into statistical learning theory. First, we outline the connection between large margin optimization and statistical learning and s...
CDC
2009
IEEE
15 years 3 months ago
2009
IEEE
— The nullspace method is a powerful framework to solve the synthesis problem of fault detection filters in the most general setting. It is also well suited to address the least...
GG
2004
Springer
15 years 3 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...