Sciweavers

2949 search results - page 385 / 590
» Universal Sparse Modeling
Sort
View
APAL
2010
115views more  APAL 2010»
13 years 11 months ago
Kripke semantics for provability logic GLP
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
Lev D. Beklemishev
SOSP
2003
ACM
14 years 7 months ago
Measurement, modeling, and analysis of a peer-to-peer file-sharing workload
Peer-to-peer (P2P) file sharing accounts for an astonishing volume of current Internet traffic. This paper probes deeply into modern P2P file sharing systems and the forces that...
P. Krishna Gummadi, Richard J. Dunn, Stefan Saroiu...
COCO
2003
Springer
118views Algorithms» more  COCO 2003»
14 years 4 months ago
Lower bounds for predecessor searching in the cell probe model
We consider a fundamental problem in data structures, static predecessor searching: Given a subset S of size n from the universe [m], store S so that queries of the form “What i...
Pranab Sen
KDD
2004
ACM
181views Data Mining» more  KDD 2004»
14 years 11 months ago
Column-generation boosting methods for mixture of kernels
We devise a boosting approach to classification and regression based on column generation using a mixture of kernels. Traditional kernel methods construct models based on a single...
Jinbo Bi, Tong Zhang, Kristin P. Bennett
SIGGRAPH
1998
ACM
14 years 3 months ago
Synthesizing Realistic Facial Expressions from Photographs
We present new techniques for creating photorealistic textured 3D facial models from photographs of a human subject, and for creating smooth transitions between different facial e...
Frederic H. Pighin, Jamie Hecker, Dani Lischinski,...