Sciweavers

7623 search results - page 230 / 1525
» Constructive Volume Modeling
Sort
View
SIAMSC
2010
210views more  SIAMSC 2010»
14 years 10 months ago
On Two-Dimensional Sparse Matrix Partitioning: Models, Methods, and a Recipe
We consider two-dimensional partitioning of general sparse matrices for parallel sparse matrix-vector multiply operation. We present three hypergraph-partitioning-based methods, ea...
Ümit V. Çatalyürek, Cevdet Aykana...
IDEAL
2009
Springer
15 years 8 months ago
A Framework for Pattern-Based Global Models
Abstract. Discovering global models on a dataset (e.g., classifiers, clusterings, summaries) has attracted a lot of attention and many approaches can be found in the literature. H...
Arnaud Giacometti, Eynollah Khanjari Miyaneh, Patr...
PRICAI
1998
Springer
15 years 8 months ago
Knowledge-Based Formulation of Dynamic Decision Models
We present a new methodology to automate decision making over time and uncertainty. We adopt a knowledge-based model construction approach to support automated and interactive form...
Chenggang Wang, Tze-Yun Leong
WSC
1997
15 years 5 months ago
A Conceptual Activity Cycle-Based Simulation Modeling Method
This paper studies activity cycle diagrams (ACD) for modeling construction processes using activities as the basic elements. An ACD is obtained by combining the activity cycles of...
Jingsheng Shi
132
Voted
UML
2001
Springer
15 years 8 months ago
A Formal Mapping between UML Static Models and Algebraic Specifications
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
Liliana Favre