4693 search results - page 765 / 939 » Verifying Hybrid Systems |
122
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
— Consider the task of searching a region for the presence or absence of a target using a team of multiple searchers. This paper formulates this search problem as a sequential pr...
120
click to vote
INFOCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
—The IEEE 802.16 standard, or WiMAX, has emerged to facilitate high-bandwidth wireless access in realworld metropolitan areas, commonly referred to as 4G. In WiMAX, Hybrid Automa...
130
click to vote
NOCS
2008
IEEE
15 years 11 months ago
2008
IEEE
—Circuit-switched networks can significantly lower the communication latency between processor cores, when compared to packet-switched networks, since once circuits are set up, ...
138
click to vote
SEMCO
2008
IEEE
15 years 11 months ago
2008
IEEE
Gesture interfaces are needed for natural intuitive communication with machine devices. Hand gesture intuitiveness is the cognitive association between a command or intent, and it...
161
click to vote
SP
2008
IEEE
15 years 11 months ago
2008
IEEE
Host-based security tools such as anti-virus and intrusion detection systems are not adequately protected on today’s computers. Malware is often designed to immediately disable ...