303 search results - page 60 / 61 » Robust Test Generation and Coverage for Hybrid Systems |
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
— – Major research challenges in the next generation of wireless networks include the provisioning of worldwide seamless mobility across heterogeneous wireless networks, the im...
PAMI
2006
13 years 7 months ago
2006
The performance of face recognition systems that use two-dimensional images depends on factors such as lighting and subject's pose. We are developing a face recognition system...
TROB
2002
13 years 7 months ago
2002
Abstract-We describe Localization-Space Trails (LOST), a method that enables a team of robots to navigate between places of interest in an initially unknown environment using a tra...
JAR
2000
13 years 7 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...
GI
2010
Springer
13 years 6 months ago
2010
Springer
Abstract: Intuitiveness, attractiveness and efficiency are in general important characteristics of high quality User Interfaces (UI). In the case of a Mass Casualty Incident (MCI)...