1992 search results - page 334 / 399 » Model Based Testing with Labelled Transition Systems |
166
click to vote
IMCSIT
2010
15 years 27 days ago
2010
In this paper the development of a prototypic mobile voice control for navigating autonomous robots within a multi robot system is described. As basis for the voice control a hidde...
135
click to vote
PODC
2005
ACM
15 years 11 months ago
2005
ACM
Abstract We study ways to restrict or prevent the damage that can be caused in a peer-to-peer network by corrupt entities creating multiple pseudonyms. We show that it is possible ...
147
click to vote
LCTRTS
2005
Springer
15 years 11 months ago
2005
Springer
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
191
click to vote
FGR
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper presents a complete face authentication system integrating 2D intensity and 3D range data, based on a low-cost, real-time structured light sensor. Novel algorithms are ...
187
click to vote
FGR
2006
IEEE
15 years 9 months ago
2006
IEEE
Automatic extraction of facial feature deformations (either due to identity change or expression) is a challenging task and could be the base of a facial expression interpretation...