8828 search results - page 288 / 1766 » Formal methods in practice |
194
Voted
ICML
2007
IEEE
16 years 7 months ago
2007
IEEE
Maximum margin clustering (MMC) is a recent large margin unsupervised learning approach that has often outperformed conventional clustering methods. Computationally, it involves n...
167
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
Scientific practices increasingly incorporate sensors for data capture, information visualization for data analysis, and low-cost mobile devices for fieldbased inquiries incorpora...
163
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Application of Discrete Multi-tone (DMT) signaling to high-speed backplane interconnects requires major modifications to the well-known analysis methods applied to wireline com...
200
click to vote
IPPS
2005
IEEE
16 years 8 days ago
2005
IEEE
Optimizing the performance of dynamic load balancing toolkits and applications requires the adjustment of several runtime parameters; however, determining sufficiently good value...
177
click to vote
ITICSE
2003
ACM
15 years 12 months ago
2003
ACM
The high variability of students’ backgrounds typically found in introductory programming courses creates additional difficulties to foster motivation and ensure the desired co...