Sciweavers

2972 search results - page 382 / 595
» Mapping New Territories
Sort
View
BMVC
2010
15 years 4 months ago
A 2D+t Feature-preserving Non-local Means Filter for Image Denoising and Improved Detection of Small and Weak Particles
A feature-preserving non-local means (FP-NLM) filter has been developed recently for denoising images containing small and weak particlelike objects. It explores the commonly used...
Lei Yang, Richard Parton, Graeme Ball, Zhen Qiu, A...
AAAI
2010
15 years 3 months ago
Multilinear Maximum Distance Embedding Via L1-Norm Optimization
Dimensionality reduction plays an important role in many machine learning and pattern recognition tasks. In this paper, we present a novel dimensionality reduction algorithm calle...
Yang Liu, Yan Liu, Keith C. C. Chan
CVPR
2010
IEEE
16 years 3 months ago
Beyond Trees: MRF Inference via Outer-Planar Decomposition
Maximum a posteriori (MAP) inference in Markov Random Fields (MRFs) is an NP-hard problem, and thus research has focussed on either finding efficiently solvable subclasses (e.g. t...
Dhruv Batra, Andrew Gallagher, Devi Parikh, Tsuhan...
NFM
2011
252views Formal Methods» more  NFM 2011»
15 years 1 months ago
Call Invariants
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...
Shuvendu K. Lahiri, Shaz Qadeer
PROCEDIA
2011
14 years 9 months ago
A Multilevel Parallelism Support for Multi-Physics Coupling
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...
Fang Liu, Masha Sosonkina