Sciweavers

2451 search results - page 372 / 491
» Effective View Navigation
Sort
View
78
Voted
ICML
2006
IEEE
16 years 2 months ago
Deterministic annealing for semi-supervised kernel machines
An intuitive approach to utilizing unlabeled data in kernel-based classification algorithms is to simply treat unknown labels as additional optimization variables. For marginbased...
Vikas Sindhwani, S. Sathiya Keerthi, Olivier Chape...
ICSE
2008
IEEE-ACM
16 years 2 months ago
Automatic modularity conformance checking
According to Parnas's information hiding principle and Baldwin and Clark's design rule theory, the key step to decomposing a system into modules is to determine the desi...
Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin J....
SIGSOFT
2009
ACM
16 years 2 months ago
Symbolic pruning of concurrent program executions
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
Chao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang
ISBI
2004
IEEE
16 years 2 months ago
3D Region of Interest X-Ray CT for Geometric Magnification from Multiresolution Acquisitions
We present an algorithm which allows us to reconstruct a RegionOf-Interest (ROI) from transaxial truncated cone-beam projections. While sometimes it is possible to reconstruct goo...
Greg Tisson, Paul Scheunders, Dirk Van Dyck
WWW
2009
ACM
16 years 2 months ago
Rated aspect summarization of short comments
Web 2.0 technologies have enabled more and more people to freely comment on different kinds of entities (e.g. sellers, products, services). The large scale of information poses th...
Yue Lu, ChengXiang Zhai, Neel Sundaresan