Sciweavers

4207 search results - page 29 / 842
» Stable Analysis Patterns
Sort
View
ICDE
2007
IEEE
182views Database» more  ICDE 2007»
14 years 9 months ago
Discriminative Frequent Pattern Analysis for Effective Classification
The application of frequent patterns in classification appeared in sporadic studies and achieved initial success in the classification of relational data, text documents and graph...
Hong Cheng, Xifeng Yan, Jiawei Han, Chih-Wei Hsu
ER
2000
Springer
139views Database» more  ER 2000»
13 years 11 months ago
Semantic Analysis Patterns
The development of object-oriented software starts from requirements expressed commonly as Use Cases. The requirements are then converted into a conceptual or analysis model. Analy...
Eduardo B. Fernández, Xiaohong Yuan
ISCAS
2003
IEEE
102views Hardware» more  ISCAS 2003»
14 years 1 months ago
Bifurcation analysis of a power-factor-correction boost converter: uncovering fast-scale instability
Bifurcation analysis is performed to a power-factor-correction (PFC) boost converter to examine the fast-scale instability problem. Computer simulations and analysis reveal the po...
C. K. Michael Tse, Octavian Dranga, Herbert H. C. ...
GBRPR
2009
Springer
14 years 2 months ago
Texture Segmentation by Contractive Decomposition and Planar Grouping
Abstract. Image segmentation has long been an important problem in the computer vision community. In our recent work we have addressed the problem of texture segmentation, where we...
Anders Bjorholm Dahl, Peter Bogunovich, Ali Shokou...
CADE
2008
Springer
14 years 8 months ago
Model Checking for Stability Analysis in Rely-Guarantee Proofs
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
Hasan Amjad, Richard Bornat