10870 search results - page 2065 / 2174 » Model Checking Programs |
141
click to vote
HCI
2009
14 years 11 months ago
2009
Real-time, static and dynamic hand gesture learning and recognition makes it possible to have computers recognize hand gestures naturally. This creates endless possibilities in the...
127
click to vote
ICASSP
2009
IEEE
14 years 11 months ago
2009
IEEE
A unified framework to jointly solve the two problems of localization and synchronization at the same time is presented in this paper. The joint approach is attractive because it ...
129
click to vote
ICST
2009
IEEE
14 years 11 months ago
2009
IEEE
Manual reviews and inspections of software artefacts are time consuming and thus, automated analysis tools have been developed to support the quality assurance of software artefac...
128
click to vote
CLOUDCOM
2010
Springer
14 years 11 months ago
2010
Springer
Geospatial queries (GQ) have been used in a wide variety of applications such as decision support systems, profile-based marketing, bioinformatics and GIS. Most of the existing qu...
102
click to vote
IJWMC
2010
14 years 10 months ago
2010
The past few years have seen a burst in public interest and widespread use of portable electronic devices featuring both mature and emerging technologies for wireless communication...