Sciweavers

1419 search results - page 122 / 284
» A Characterization of Constructive Dimension
Sort
View
WAW
2004
Springer
80views Algorithms» more  WAW 2004»
15 years 10 months ago
Dominating Sets in Web Graphs
In this paper we study the size of generalised dominating sets in two graph processes which are widely used to model aspects of the world-wide web. On the one hand, we show that gr...
Colin Cooper, Ralf Klasing, Michele Zito
CRYPTO
2000
Springer
89views Cryptology» more  CRYPTO 2000»
15 years 9 months ago
On the Round Security of Symmetric-Key Cryptographic Primitives
We put forward a new model for understanding the security of symmetric-key primitives, such as block ciphers. The model captures the fact that many such primitives often consist of...
Zulfikar Ramzan, Leonid Reyzin
ANSS
2001
IEEE
15 years 8 months ago
Application of the ATLAS Language in Models of Urban Traffic
ATLAS is a specification language defined to outline city sections to model and simulate traffic flow. Streets are characterized by their size, direction, number of lanes, etc. On...
Andrea Díaz, Verónica Vazquez, Gabri...
AIMSA
2000
Springer
15 years 8 months ago
Classification with Belief Decision Trees
Abstract. Decision trees are considered as an efficient technique to express classification knowledge and to use it. However, their most standard algorithms do not deal with uncert...
Zied Elouedi, Khaled Mellouli, Philippe Smets
APAL
2006
73views more  APAL 2006»
15 years 4 months ago
Compactness in locales and in formal topology
If a locale is presented by a "flat site", it is shown how its frame can be presented by generators and relations as a dcpo. A necessary and sufficient condition is deri...
Steven J. Vickers