Sciweavers

2509 search results - page 202 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
ICCS
2001
Springer
15 years 11 months ago
Many-Valued Context Analysis Using Descriptions
Abstract. We propose an approach to many-valued contexts using formal descriptions instead of scaling. The underlying idea is the philosphical definition of a concept as a set of ...
Ralf Gugisch
STACS
1999
Springer
15 years 10 months ago
A Complete and Tight Average-Case Analysis of Learning Monomials
Abstract. We advocate to analyze the average complexity of learning problems. An appropriate framework for this purpose is introduced. Based on it we consider the problem of learni...
Rüdiger Reischuk, Thomas Zeugmann
DSOM
2006
Springer
15 years 10 months ago
Using Argumentation Logic for Firewall Policy Specification and Analysis
Firewalls are important perimeter security mechanisms that imple-ment an organisation's network security requirements and can be notoriously difficult to configure correctly. ...
Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu,...
EURONGI
2006
Springer
15 years 10 months ago
Joint Connection and Packet Level Analysis in W-CDMA Radio Interface
Abstract. This work introduces a new analytical method for performance evaluation of wireless packet-oriented networks. Unlike traditional call admission control procedures commonl...
Vilius Benetis, Larissa Popova, Villy Bæk Iv...
EUROPAR
2006
Springer
15 years 10 months ago
Analysis of the Memory Registration Process in the Mellanox InfiniBand Software Stack
Abstract. To leverage high speed interconnects like InfiniBand it is important to minimize the communication overhead. The most interfering overhead is the registration of communic...
Frank Mietke, Robert Rex, Robert Baumgartl, Torste...