51 search results - page 3 / 11 » Specification based testing of automotive human machine inte... |
CCS
2009
ACM
14 years 2 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
CHI
2010
ACM
14 years 4 months ago
2010
ACM
Unlike machines, we humans are prone to boredom when we perform routine activities for long periods of time. Workers’ mental engagement in boring tasks diminishes, which eventua...
CHI
2007
ACM
14 years 11 months ago
2007
ACM
Biological research in the field is constrained by the speed and difficulty of species determination, as well as by access to relevant information about the species encountered. H...
TEI
2010
ACM
14 years 4 months ago
2010
ACM
In the world of interactive art, very few pieces have a permanent, physical outcome. In response to this observation, the author developed two “cobots”, or collaborative robot...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
Trip planning and in-vehicle navigation are crucial tasks for easier and safer driving. The existing navigation systems are based on machine intelligence without allowing human kn...