Sciweavers

2043 search results - page 119 / 409
» Some Basics on Tolerances
Sort
View
WOSP
2000
ACM
15 years 10 months ago
Visual representation of stochastic process algebra models
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
Nigel Thomas, Malcolm Munro, Peter J. B. King, Rob...
DIAGRAMS
2000
Springer
15 years 10 months ago
Universal Arrow Foundations for Visual Modeling
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the d...
Zinovy Diskin, Boris Kadish, Frank Piessens, Micha...
ECAI
2000
Springer
15 years 10 months ago
A Family of Defeasible Reasoning Logics and its Implementation
Abstract. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more effic...
Grigoris Antoniou, David Billington, Guido Governa...
ADG
1998
Springer
127views Mathematics» more  ADG 1998»
15 years 10 months ago
Decomposing Algebraic Varieties
Abstract. This paper describes a complete implementation of Ritt-Wu's characteristic sets method in the Maple system. The implemented algorithms include those with variants fo...
Dongming Wang
VLDB
1998
ACM
153views Database» more  VLDB 1998»
15 years 10 months ago
Small Materialized Aggregates: A Light Weight Index Structure for Data Warehousing
Small Materialized Aggregates (SMAs for short) are considered a highly flexible and versatile alternative for materialized data cubes. The basic idea is to compute many aggregate ...
Guido Moerkotte