Sciweavers

5622 search results - page 679 / 1125
» Solving architectural modelling problems using knowledge
Sort
View
FATES
2006
Springer
15 years 11 months ago
Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems
To efficiently solve safety verification and testing problems for an aspect-oriented system, we use multitape automata to model aspects and propose algorithms for the aspect-orient...
Cheng Li, Zhe Dang
FLAIRS
2007
15 years 9 months ago
A Morphological Neural Network Approach to Information Retrieval
We investigate the use of a morphological neural network to improve the performance of information retrieval systems. A morphological neural network is a neural network based on l...
Christian Roberson, Douglas D. Dankel II
CORR
2010
Springer
89views Education» more  CORR 2010»
15 years 4 months ago
A Microwave Imaging and Enhancement Technique from Noisy Synthetic Data
: An inverse iterative algorithm for microwave imaging based on moment method solution is presented here. The iterative scheme has been developed on constrained optimization techni...
Anjan Kumar Kundu, Bijoy Bandyopadhyay, Sugata San...
TSP
2010
15 years 1 months ago
ARMA signals with specified symmetric marginal probability distribution
Except in the case of normal (i.e Gaussian) distribution, it is very difficult to calculate the marginal probability distribution of ARMA signals. By using a particular form of mo...
Bernard C. Picinbono
UAI
2004
15 years 8 months ago
Exponential Families for Conditional Random Fields
In this paper we define conditional random fields in reproducing kernel Hilbert spaces and show connections to Gaussian Process classification. More specifically, we prove decompo...
Yasemin Altun, Alexander J. Smola, Thomas Hofmann