Sciweavers

922 search results - page 123 / 185
» A Novel Framework for Visualizing Declarative Process Models
Sort
View
ICIP
2005
IEEE
15 years 11 months ago
Non-parametric image super-resolution using multiple images
In this paper, we present a novel learning based framework for performing super-resolution using multiple images. We model the image as an undirected graphical model over image pa...
Mithun Das Gupta, ShyamSundar Rajaram, Nemanja Pet...
ICASSP
2008
IEEE
15 years 4 months ago
Probabilistic structural alignment of RNA sequences
We propose an algorithm for estimating the common secondary structure, alignment, and posterior base pairing probabilities for two RNA sequences. A definition of structural align...
Arif Ozgun Harmanci, Gaurav Sharma, David H. Mathe...
CSFW
1998
IEEE
15 years 2 months ago
Formal Analysis of a Non-Repudiation Protocol
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
Steve Schneider
ICASSP
2011
IEEE
14 years 1 months ago
USPACOR: Universal sparsity-controlling outlier rejection
The recent upsurge of research toward compressive sampling and parsimonious signal representations hinges on signals being sparse, either naturally, or, after projecting them on a...
Georgios B. Giannakis, Gonzalo Mateos, Shahrokh Fa...
EACL
2009
ACL Anthology
15 years 10 months ago
Translation as Weighted Deduction
We present a unified view of many translation algorithms that synthesizes work on deductive parsing, semiring parsing, and efficient approximate search algorithms. This gives rise...
Adam Lopez