Sciweavers

561 search results - page 72 / 113
» Inferring better contracts
Sort
View
LION
2009
Springer
114views Optimization» more  LION 2009»
14 years 2 months ago
Substitution Matrices and Mutual Information Approaches to Modeling Evolution
Abstract. Substitution matrices are at the heart of Bioinformatics: sequence alignment, database search, phylogenetic inference, protein family classication are based on Blosum, P...
Stephan Kitchovitch, Yuedong Song, Richard C. van ...
MM
2009
ACM
171views Multimedia» more  MM 2009»
14 years 2 months ago
SaVE: sensor-assisted motion estimation for efficient h.264/AVC video encoding
Motion estimation is a key component of modern video encoding and is very compute-intensive. We present a novel Sensor-assisted Video Encoding (SaVE) method to reduce the computat...
XiaoMing Chen, Zhendong Zhao, Ahmad Rahmati, Ye Wa...
ICDM
2008
IEEE
224views Data Mining» more  ICDM 2008»
14 years 2 months ago
A Non-parametric Approach to Pair-Wise Dynamic Topic Correlation Detection
We introduce dynamic correlated topic models (DCTM) for analyzing discrete data over time. This model is inspired by the hierarchical Gaussian process latent variable models (GP-L...
Yang Song, Lu Zhang 0007, C. Lee Giles
INFOCOM
2008
IEEE
14 years 2 months ago
Non-Metric Coordinates for Predicting Network Proximity
—We consider the problem of determining the “closest”, or best Internet host to connect to, from a list of candidate servers. Most existing approaches rely on the use of metr...
Peter B. Key, Laurent Massoulié, Dan-Cristi...
IAT
2007
IEEE
14 years 2 months ago
Revisiting ADOPT-ing and its Feedback Schemes
Here we revisit ADOPT-ing and bring two new contributions. One contribution consists of developing variations on the algorithms keeping the improvement in length of chain of causa...
Marius-Calin Silaghi, Makoto Yokoo