Sciweavers

2702 search results - page 326 / 541
» Practically Applicable Formal Methods
Sort
View
130
Voted
SDM
2004
SIAM
224views Data Mining» more  SDM 2004»
15 years 4 months ago
Hierarchical Clustering for Thematic Browsing and Summarization of Large Sets of Association Rules
In this paper we propose a method for grouping and summarizing large sets of association rules according to the items contained in each rule. We use hierarchical clustering to par...
Alípio Jorge
119
Voted
WSC
1998
15 years 4 months ago
Validation and Verification of the Simulation Model of a Photolithography Process in Semiconductor Manufacturing
Simulation modeling provides an effective and powerful approach for capturing and analyzing complex manufacturing systems. More and more decisions are based on computer generated ...
Nirupama Nayani, Mansooreh Mollaghasemi
104
Voted
CORR
2010
Springer
122views Education» more  CORR 2010»
15 years 2 months ago
A Unified Algorithmic Framework for Multi-Dimensional Scaling
In this paper, we propose a unified algorithmic framework for solving many known variants of MDS. Our algorithm is a simple iterative scheme with guaranteed convergence, and is mo...
Arvind Agarwal, Jeff M. Phillips, Suresh Venkatasu...
126
Voted
AIR
2004
126views more  AIR 2004»
15 years 2 months ago
Interval Relations in Lexical Semantics of Verbs
Numerous temporal relations of verbal actions have been analysed in terms of various grammatical means of expressing verbal temporalisation such as tense, aspect, duration and iter...
Minhua Ma, Paul McKevitt
135
Voted
ASE
2002
137views more  ASE 2002»
15 years 2 months ago
The DSD Schema Language
XML (Extensible Markup Language), a linear syntax for trees, has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the application o...
Nils Klarlund, Anders Møller, Michael I. Sc...