1585 search results - page 155 / 317 » A framework for computer-aided validation |
101
Voted
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper investigates the use of unlabeled data to help labeled data for audio-visual event recognition in meetings. To deal with situations in which it is difficult to collect...
112
Voted
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— In this work, we present a framework for the development of a planar mobile robot controller based on image plane feedback. We show that the design of such a motion controller ...
133
Voted
MSS
2005
IEEE
15 years 9 months ago
2005
IEEE
To meet enterprise and grand challenge-scale performance and interoperability requirements, a group of engineers—initially ad-hoc but now integrated into the IETF—is designing...
146
Voted
ECSQARU
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
144
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...