3028 search results - page 151 / 606 » Adaptive Novice Supporter |
138
click to vote
LISP
2008
15 years 1 months ago
2008
Higher-order logic proof systems combine functional programming with logic, providing functional programmers with a comfortable setting for the formalization of programs, specifica...
190
Voted
VLDB
2007
ACM
16 years 2 months ago
2007
ACM
Scientific data are posing new challenges to data management due to the large volume, complexity and heterogeneity of the data. Meanwhile, scientific collaboration becomes increas...
165
click to vote
HPDC
2006
IEEE
15 years 8 months ago
2006
IEEE
By federating resources from multiple domains, a shared infrastructure provides aggregated computation resources to a large number of users. With rapid advances in virtualization ...
131
click to vote
PR
2006
15 years 1 months ago
2006
A novel training method has been proposed for increasing efficiency and generalization of support vector machine (SVM). The efficiency of SVM in classification is directly determi...
136
click to vote
MASS
2010
14 years 12 months ago
2010
With the popularity of wireless devices and the increase of computing and storage resources, there are increasing interests in supporting mobile computing techniques. Particularly...