2487 search results - page 285 / 498 » cases 2009 |
179
click to vote
LATA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider policies that are described by regular expressions, finite automata, or formulae of linear temporal logic (LTL). Such policies are assumed to describe situat...
180
click to vote
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
153
click to vote
WEA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we present a novel approach to the graph isomorphism problem. We combine a direct approach, that tries to find a mapping between the two input graphs using...
165
click to vote
CCECE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—In this work, we propose a framework for supervisory cooperative estimation of multi-agent linear time-invariant (LTI) systems. We introduce a group of sub-observers, ea...
179
click to vote
CCECE
2009
IEEE
16 years 1 months ago
2009
IEEE
The second-order HF radar ocean cross section is derived for the case of the transmitting and receiving antenna undergoing platform (i.e. barge) motion. The derivation for electro...