Sciweavers

3381 search results - page 219 / 677
» Extending Dependencies with Conditions
Sort
View
CTCS
1989
Springer
15 years 10 months ago
A Category-theoretic Account of Program Modules
The type-theoretic explanation of modules proposed to date (for programming languages like ML) is unsatisfactory, because it does not capture that evaluation of type-expressions i...
Eugenio Moggi
E4MAS
2006
Springer
15 years 10 months ago
A Unified Model for Physical and Social Environments
Abstract. The AGRE model proposed by Ferber et al. is based on an interesting generalization of both physical and social environments. In this paper we revisit the AGRE model and e...
José-Antonio Báez-Barranco, Tiberiu ...
EPEW
2006
Springer
15 years 10 months ago
A Function-Equivalent Components Based Simplification Technique for PEPA Models
PEPA has recently been extended with functional rates [1][2]. These functions allow the specification of indirect interaction between components in such a way that the rate of an a...
Jane Hillston, Leïla Kloul
COMPGEOM
2008
ACM
15 years 8 months ago
Tighter bounds for random projections of manifolds
The Johnson-Lindenstrauss random projection lemma gives a simple way to reduce the dimensionality of a set of points while approximately preserving their pairwise distances. The m...
Kenneth L. Clarkson
DAGM
2008
Springer
15 years 8 months ago
A Probabilistic Segmentation Scheme
We propose a probabilistic segmentation scheme, which is widely applicable to some extend. Besides the segmentation itself our model incorporates object specific shading. Dependent...
Dmitrij Schlesinger, Boris Flach