Sciweavers

3972 search results - page 213 / 795
» Cosparse analysis modeling - uniqueness and algorithms
Sort
View
ANSS
2003
IEEE
15 years 9 months ago
Sojourn Times and Rare Events
: In this paper, we present and analyze three different algorithms for the evaluation of rare event simulation results. They are loosely based on the AAc method, which in turn is a...
Norbert Th. Müller, Freimut Brenner
SSIAI
2000
IEEE
15 years 8 months ago
Morphological Pyramid Image Registration
We proposed an intensity-based morphological pyramid image registration algorithm. This approach utilizes the global affine transformation model, also considering radiometric chan...
Zhongxiu Hu, Scott T. Acton
ISPD
2007
ACM
124views Hardware» more  ISPD 2007»
15 years 5 months ago
Accurate power grid analysis with behavioral transistor network modeling
In this paper, we propose fast and efficient techniques to analyze the power grid with accurate modeling of the transistor network. The solution techniques currently available for...
Anand Ramalingam, Giri Devarayanadurg, David Z. Pa...
KDD
2005
ACM
161views Data Mining» more  KDD 2005»
16 years 4 months ago
Combining email models for false positive reduction
Machine learning and data mining can be effectively used to model, classify and discover interesting information for a wide variety of data including email. The Email Mining Toolk...
Shlomo Hershkop, Salvatore J. Stolfo
FM
2008
Springer
152views Formal Methods» more  FM 2008»
15 years 5 months ago
Constraint Prioritization for Efficient Analysis of Declarative Models
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
Engin Uzuncaova, Sarfraz Khurshid