Sciweavers

16513 search results - page 198 / 3303
» Numerical Analysis Methods
Sort
View
TFM
2009
Springer
136views Formal Methods» more  TFM 2009»
16 years 1 months ago
On Teaching Formal Methods: Behavior Models and Code Analysis
Abstract. Teaching formal methods is a challenging task for several reasons. First, both the state-of-the-art knowledge and the tools are rapidly evolving. Second, there are no com...
Jan Kofron, Pavel Parizek, Ondrej Sery
ISQED
2007
IEEE
254views Hardware» more  ISQED 2007»
16 years 22 days ago
An Aggregation-Based Algebraic Multigrid Method for Power Grid Analysis
ct This paper develops an aggregation-based algebraic multigrid (AbAMG) method to efficiently analyze the power grids. Different from the conventional algebraic multigrid (AMG) sc...
Pei-Yu Huang, Huan-Yu Chou, Yu-Min Lee
EOR
2008
86views more  EOR 2008»
15 years 6 months ago
A critical analysis of the eigenvalue method used to derive priorities in AHP
A lot of research has been devoted to the critical analysis of the Analytic Hierarchy Process (AHP), from various perspectives. However, as far as we know, no one has addressed a ...
Carlos A. Bana e Costa, Jean-Claude Vansnick
DSOM
2003
Springer
15 years 11 months ago
A Method on Multimedia Service Traffic Monitoring and Analysis
The use of multimedia service applications is growing rapidly on the Internet. These applications are generating a huge volume of network traffic, which has a great impact on netw...
Hun-Jeong Kang, Myung-Sup Kim, James Won-Ki Hong
BMCBI
2005
112views more  BMCBI 2005»
15 years 6 months ago
Visualization methods for statistical analysis of microarray clusters
Background: The most common method of identifying groups of functionally related genes in microarray data is to apply a clustering algorithm. However, it is impossible to determin...
Matthew A. Hibbs, Nathaniel C. Dirksen, Kai Li, Ol...