5599 search results - page 461 / 1120 » Abstract State Services |
169
click to vote
ICRA
2006
IEEE
16 years 27 days ago
2006
IEEE
Abstract— Many robotics applications require a human operator to monitor multiple robots that collaborate to achieve the operator’s goals. Most approaches to such monitoring fo...
191
click to vote
VTC
2006
IEEE
16 years 26 days ago
2006
IEEE
Abstract: In this paper, we study concatenated coding for MIMOOFDM systems. The proposed concatenated system achieves full spatial and frequency diversity at much lower complexity ...
163
click to vote
CAV
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
192
click to vote
ICTAC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper introduces the notion of finite precision timed automata (FPTAs) and proposes a data structure to represent its symbolic states. To reduce the state space, FP...
165
click to vote
ISCIS
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Based on a distinguishing sequence for a Finite State Machine (FSM), an efficient checking sequence may be produced from the elements of a set Eα of α –sequences and ...