3013 search results - page 168 / 603 » HCI for the real world |
156
click to vote
KBSE
2007
IEEE
16 years 22 days ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...
167
click to vote
BIOWIRE
2007
Springer
16 years 19 days ago
2007
Springer
The emergence of Delay Tolerant Networks (DTNs) has culminated in a new generation of wireless networking. New communication paradigms, which use dynamic interconnectedness as peop...
138
click to vote
IWANN
2007
Springer
16 years 18 days ago
2007
Springer
The global trend of increasing longevity of modern societies is causing a growing attention to the elderly citizens. The world elderly population’s needs create the conditions fo...
151
click to vote
CEC
2005
IEEE
16 years 2 days ago
2005
IEEE
AbstractThe principle of cooperation influences our everyday lives. This conflict between individual and collective rationality can be modelled through the use of social dilemmas...
158
click to vote
FQAS
2004
Springer
15 years 12 months ago
2004
Springer
With the fast growing speech technologies, the world is emerging to a new speech era. Speech recognition has now become a practical technology for real world applications. While so...