Sciweavers

2124 search results - page 72 / 425
» Repairing Structurally Complex Data
Sort
View
FMSD
2002
114views more  FMSD 2002»
13 years 10 months ago
The Correctness of the Fast Fourier Transform: A Structured Proof in ACL2
The powerlists data structure, created by Misra in the early 90s, is well suited to express recursive, data-parallel algorithms. Misra has shown how powerlists can be used to give ...
Ruben Gamboa
CVPR
2012
IEEE
12 years 25 days ago
Structured Local Predictors for image labelling
In this paper we introduce Structured Local Predictors (SLP) – A new formulation that considers the image labelling problem from a structured learning point of view. SLP are loc...
Samuel Rota Bulò, Peter Kontschieder, Marce...
WIDM
2003
ACM
14 years 3 months ago
Conceptual modeling of semantic navigation structures: the MoSeNa-approach
At the present time, several shortcomings prevent the more effective use and more intense application of web information systems. Recent developments that are subsumed by the term...
Jörg Becker, Christian Brelage, Karsten Klose...
ICMCS
2000
IEEE
103views Multimedia» more  ICMCS 2000»
14 years 2 months ago
Activity-Adaptive Modeling of Dynamic Multimedia Traffic
Most of the existing work on modeling variable bit rate (VBR) video sources does not either explicitly take into account groupof-pictures (GOP) or assumes a fixed GOP structure. R...
Deepak S. Turaga, Tsuhan Chen
ECML
2006
Springer
14 years 2 months ago
Margin-Based Active Learning for Structured Output Spaces
In many complex machine learning applications there is a need to learn multiple interdependent output variables, where knowledge of these interdependencies can be exploited to impr...
Dan Roth, Kevin Small