Sciweavers

316 search results - page 53 / 64
» The Effect of Program Optimization on Trace Cache Efficiency
Sort
View
108
Voted
TKDE
2012
245views Formal Methods» more  TKDE 2012»
12 years 12 months ago
Semi-Supervised Maximum Margin Clustering with Pairwise Constraints
—The pairwise constraints specifying whether a pair of samples should be grouped together or not have been successfully incorporated into the conventional clustering methods such...
Hong Zeng, Yiu-ming Cheung
SIGGRAPH
1996
ACM
15 years 1 months ago
Hierarchical View-Dependent Structures for Interactive Scene Manipulation
The result of a scene manipulation is usually displayed by rerendering the entire image even if the change has affected only a small portion of it. This paper presents a system th...
Normand Brière, Pierre Poulin
KDD
2010
ACM
245views Data Mining» more  KDD 2010»
14 years 11 months ago
Learning incoherent sparse and low-rank patterns from multiple tasks
We consider the problem of learning incoherent sparse and lowrank patterns from multiple tasks. Our approach is based on a linear multi-task learning formulation, in which the spa...
Jianhui Chen, Ji Liu, Jieping Ye
ICCD
2000
IEEE
119views Hardware» more  ICCD 2000»
15 years 1 months ago
Source-Level Transformations for Improved Formal Verification
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
Brian D. Winters, Alan J. Hu
TSMC
2008
99views more  TSMC 2008»
14 years 9 months ago
Robust Regularized Kernel Regression
Robust regression techniques are critical to fitting data with noise in real-world applications. Most previous work of robust kernel regression is usually formulated into a dual fo...
Jianke Zhu, Steven C. H. Hoi, Michael R. Lyu