14190 search results - page 2749 / 2838 » Abstractions for hybrid systems |
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract—An emerging killer application for enterprise wireless LANs (WLANs) is voice over IP (VoIP) telephony, which promises to greatly improve the reachability and mobility of...
73
Voted
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— In robot teleoperation scenarios, the interface between the user and the robot is undoubtedly of high importance. In this paper, electromyographic (EMG) signals from mu...
IROS
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— This paper presents a new approach to the intralocalization among a team of robots working in constrained 3D space of urban environments. As the base formation, a team ...
104
Voted
NOCS
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— The behaviour of systems on chip (SOC) is complex because they contain multiple processors that interact through concurrent interconnects, such as networks on chip (NOC...
87
Voted
ATVA
2007
Springer
15 years 4 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...