35416 search results - page 6929 / 7084 » Evaluation |
213
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
169
click to vote
KDD
2010
ACM
15 years 5 months ago
2010
ACM
Identifying hot spots of moving vehicles in an urban area is essential to many smart city applications. The practical research on hot spots in smart city presents many unique feat...
199
click to vote
KDD
2010
ACM
15 years 5 months ago
2010
ACM
Scalable similarity search is the core of many large scale learning or data mining applications. Recently, many research results demonstrate that one promising approach is creatin...
245
click to vote
MATES
2010
Springer
15 years 4 months ago
2010
Springer
The construction of distributed applications is a challenging task due to inherent system properties like message passing and concurrency. Current technology trends further increas...
180
click to vote
MDM
2010
Springer
15 years 4 months ago
2010
Springer
—Thanks to advances in mobile technology, modern mobile devices have become essential companions, assisting their users in attaining their daily tasks. It will not be long before...