Sciweavers

887 search results - page 41 / 178
» Locally definable homotopy
Sort
View
KES
2008
Springer
14 years 9 months ago
A Secure Mediator for Integrating Multiple Level Access Control Policies
Abstract. We present a method for mapping security levels among the components of a distributed system where data in the local sources are represented in XML. Distributed data is i...
Isabel F. Cruz, Rigel Gjomemo, Mirko Orsini
ACS
2005
14 years 9 months ago
Categorical Structures Enriched in a Quantaloid: Orders and Ideals over a Base Quantaloid
Applying (enriched) categorical structures we define the notion of ordered sheaf on a quantaloid Q, which we call `Q-order'. This requires a theory of semicategories enriched ...
Isar Stubbe
COMPUTING
2004
143views more  COMPUTING 2004»
14 years 9 months ago
Biorthogonal Loop-Subdivision Wavelets
We present a biorthogonal wavelet construction for Loop subdivision, based on the lifting scheme. Our wavelet transform uses scaling functions that are recursively defined by Loop...
Martin Bertram
64
Voted
CORR
2002
Springer
81views Education» more  CORR 2002»
14 years 9 months ago
Value withdrawal explanations: a theoretical tool for programming environments
Abstract. Constraint logic programming combines declarativity and efficiency thanks to constraint solvers implemented for specific domains. Value withdrawal explanations have been ...
Willy Lesaint
83
Voted
CDC
2010
IEEE
142views Control Systems» more  CDC 2010»
14 years 4 months ago
Consensus with constrained convergence rate: Agreement in communities
The study focuses on a class of discrete-time multi-agent systems modelling opinion dynamics with decaying confidence. Essentially, we propose an agreement protocol that impose a p...
Constantin-Irinel Morarescu, Antoine Girard