Sciweavers

3994 search results - page 483 / 799
» A Linear Logical Framework
Sort
View
202
Voted
JSW
2007
120views more  JSW 2007»
15 years 7 months ago
Constraint-based Model Transformation: Tracing the Preservation of Semantic Properties
Abstract— We present and evaluate a novel constraintbased model transformation approach that implements a preservation-centric view. The proposed framework comprises formal prese...
Thomas Triebsees
IJON
2010
120views more  IJON 2010»
15 years 5 months ago
Semi-supervised learning with varifold Laplacians
This paper presents varifold learning, a learning framework based on the mathematical concept of varifolds. Different from manifold based methods, our varifold learning framework ...
Lei Ding, Peibiao Zhao
NAACL
2010
15 years 5 months ago
Learning Dense Models of Query Similarity from User Click Logs
The goal of this work is to integrate query similarity metrics as features into a dense model that can be trained on large amounts of query log data, in order to rank query rewrit...
Fabio De Bona, Stefan Riezler, Keith Hall, Massimi...
TSP
2010
15 years 2 months ago
Algebraic signal processing theory: sampling for infinite and finite 1-D space
We derive a signal processing framework, called space signal processing, that parallels time signal processing. As such, it comes in four versions (continuous/discrete, infinite/fi...
Jelena Kovacevic, Markus Püschel
ICASSP
2011
IEEE
14 years 11 months ago
Motion vector recovery with Gaussian Process Regression
In this paper, we propose a Gaussian Process Regression (GPR) framework for concealment of corrupted motion vectors in predictive video coding of packet video systems. The problem...
Hadi Asheri, Abdolkhalegh Bayati, Hamid R. Rabiee,...