21319 search results - page 121 / 4264 » An Approach for Method Reengineering |
127
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
In multiagent systems, a cooperative action requires a mutual agreement among multiple agents and the agreement is generally reached by exchanging messages between them, but the d...
108
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we rigorously prove the validity of the cavity method for the problem of counting the number of matchings in graphs with large girth. Cavity method is an important he...
IVC
2006
15 years 3 months ago
2006
Palette reordering has been shown to be a very effective approach for improving the compression of color-indexed images by general purpose continuous-tone image coding techniques....
165
Voted
ICSEA
2009
IEEE
15 years 1 months ago
2009
IEEE
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
118
Voted
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, we present the Gauss-Newton method as a unified approach to optimizing non-linear noise compensation models, such as vector Taylor series (VTS), data-driven parall...