12707 search results - page 2059 / 2542 » A Distributed Arc-Consistency Algorithm |
259
click to vote
KBSE
2010
IEEE
15 years 6 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 ...
216
click to vote
KDD
2010
ACM
15 years 6 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...
248
click to vote
KDD
2010
ACM
15 years 6 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...
224
click to vote
SADM
2010
15 years 6 months ago
2010
: This paper proposes twin prototype support vector machine (TVM), a constant space and sublinear time support vector machine (SVM) algorithm for online learning. TVM achieves its ...
204
click to vote
TMC
2010
15 years 6 months ago
2010
—In densely populated cities, Wi-Fi networks—private or otherwise—are ubiquitous. We focus on the provision of citywide broadband communication capability to mobile users thr...