Sciweavers

3707 search results - page 596 / 742
» A Simple Technique for Self-Calibration
Sort
View
CORR
2010
Springer
109views Education» more  CORR 2010»
15 years 6 months ago
Fast space-variant elliptical filtering using box splines
The efficient realization of linear space-variant (non-convolution) filters is a challenging computational problem in image processing. In this paper, we demonstrate that it is po...
Kunal Narayan Chaudhury, Arrate Muñoz-Barru...
CONSTRAINTS
2008
109views more  CONSTRAINTS 2008»
15 years 6 months ago
The Design of the Zinc Modelling Language
Zinc is a new modelling language developed as part of the G12 project. It has four important characteristics. First, Zinc allows speci cation of models using a natural mathematical...
Kim Marriott, Nicholas Nethercote, Reza Rafeh, Pet...
CORR
2010
Springer
137views Education» more  CORR 2010»
15 years 6 months ago
Verification of Java Bytecode using Analysis and Transformation of Logic Programs
State of the art analyzers in the Logic Programming (LP) paradigm are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including terminat...
Elvira Albert, Miguel Gómez-Zamalloa, Laure...
CORR
2008
Springer
138views Education» more  CORR 2008»
15 years 6 months ago
Order-Optimal Consensus through Randomized Path Averaging
Gossip algorithms have recently received significant attention, mainly because they constitute simple and robust message-passing schemes for distributed information processing over...
Florence Bénézit, Alexandros G. Dima...
166
Voted
CORR
2008
Springer
131views Education» more  CORR 2008»
15 years 6 months ago
Deterministically Isolating a Perfect Matching in Bipartite Planar Graphs
We present a deterministic way of assigning small (log bit) weights to the edges of a bipartite planar graph so that the minimum weight perfect matching becomes unique. The isolati...
Samir Datta, Raghav Kulkarni, Sambuddha Roy