Sciweavers

5158 search results - page 199 / 1032
» Generalization of the Dempster-Shafer Theory
Sort
View
ECBS
2007
IEEE
111views Hardware» more  ECBS 2007»
16 years 26 days ago
Model-Based Empirical Performance Evaluation Based on Relational Traces
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
Marko Boskovic
CAI
2007
Springer
16 years 21 days ago
From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
In this paper, we present an overview of algebraic graph transformation in the double pushout approach. Basic results concerning independence, parallelism, concurrency, embedding, ...
Ulrike Prange, Hartmut Ehrig
CP
2005
Springer
16 years 1 days ago
Uncertainty in Soft Constraint Problems
Preferences and uncertainty occur in many real-life problems. The theory of possibility is one way of dealing with uncertainty, which allows for easy integration with fuzzy prefer...
Maria Silvia Pini, Francesca Rossi
APLAS
2003
ACM
15 years 11 months ago
Observing Asymmetry and Mismatch
The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity...
Xiaoju Dong, Yuxi Fu
COMPGEOM
2007
ACM
15 years 10 months ago
Inflating the cube by shrinking
We present a continuous submetric deformation of the surface of the cube which increases the enclosed volume by about 25.67%. Categories and Subject Descriptors: I.3.5 [Computatio...
Kevin Buchin, André Schulz