1788 search results - page 328 / 358 » Model Theory for Process Algebra |
143
Voted
PE
2002
Springer
15 years 3 months ago
2002
Springer
We present procedures and tools for the analysis of network traffic measurements. The tools consist of stand-alone 1 modules that implement advanced statistical analysis procedure...
131
Voted
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
125
click to vote
ISVD
2010
IEEE
15 years 2 months ago
2010
IEEE
—We study the topology of the Megaparsec Cosmic Web on the basis of the Alpha Shapes of the galaxy distribution. The simplicial complexes of the alpha shapes are used to determin...
157
click to vote
JAIR
2010
15 years 2 months ago
2010
Decentralized planning in uncertain environments is a complex task generally dealt with by using a decision-theoretic approach, mainly through the framework of Decentralized Parti...
158
Voted
MIAR
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract. Surface-based morphometry (SBM) is widely used in biomedical imaging and other domains to localize shape changes related to different conditions. This paper presents a co...