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 1 months 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
150
Voted
EOR
2008
86views more  EOR 2008»
15 years 7 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
16 years 6 days 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...