Sciweavers

3229 search results - page 281 / 646
» Mixing
Sort
View
ENTCS
2008
112views more  ENTCS 2008»
15 years 6 months ago
Residual for Component Specifications
We address the problem of component reuse by describing a quotient operation. Starting from the specifications of the behaviors of the component and of the desired overall system,...
Jean-Baptiste Raclet
110
Voted
CPHYSICS
2006
68views more  CPHYSICS 2006»
15 years 6 months ago
Hyperfine structure parametrisation in Maple
In hyperfine structure examinations, routine high resolution spectroscopy methods have to be combined with exact fine structure calculations. The so-called magnetic A and electric...
Gediminas Gaigalas, O. Scharf, S. Fritzsche
DMTCS
2006
66views Mathematics» more  DMTCS 2006»
15 years 6 months ago
On randomly colouring locally sparse graphs
We consider the problem of generating a random q-colouring of a graph G = (V, E). We consider the simple Glauber Dynamics chain. We show that if for all v V the average degree of...
Alan M. Frieze, Juan Vera
IJAR
2008
88views more  IJAR 2008»
15 years 6 months ago
Clustering decomposed belief functions using generalized weights of conflict
We develop a method for clustering all types of belief functions, in particular non-consonant belief functions. Such clustering is done when the belief functions concern multiple ...
Johan Schubert
ENTCS
2006
143views more  ENTCS 2006»
15 years 6 months ago
Component-Oriented Specification of Performance Measures
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...
Alessandro Aldini, Marco Bernardo