Sciweavers

1982 search results - page 218 / 397
» Parametricity and dependent types
Sort
View
MDM
2001
Springer
209views Communications» more  MDM 2001»
15 years 11 months ago
Energy-Efficient Transaction Management for Real-Time Mobile Databases in Ad-Hoc Network Environments
In an ad-hoc mobile network architecture, all the mobile hosts (MHs) are connected with each other through a wireless network that has a frequently changing topology. This type of ...
Le Gruenwald, Shankar M. Banik
POLICY
2001
Springer
15 years 11 months ago
Taxonomy and Description of Policy Combination Methods
To control complicated and decomposable networking functions, such as Diffserv, two or more policies must cooperate. Combining two or more mutually dependent policies for a specifi...
Yasusi Kanada
ICPR
2000
IEEE
15 years 11 months ago
A New Segmentation Approach for Handwritten Digits
This article deals with a new segmentation approach applied to unconstrained handwritten digits. The novelty of the proposed algorithm is based on the combination of two types of ...
Luiz E. Soares de Oliveira, Edouard Lethelier, Fl&...
NOMS
2000
IEEE
15 years 10 months ago
Failure semantics of mobile agent systems involved in network fault management
Recently mobile agent technology has been recognised as a potential tool for realising distributed network fault management. The autonomy and mobility of such agents can help ensu...
Otto Wittner, Bjarne E. Helvik, C. J. E. Holper
SIBGRAPI
2000
IEEE
15 years 10 months ago
Handwritten Digits Segmentation Based on Structural Approach
This article deals with a new segmentation approach applied to unconstrained handwritten digits. The novelty of the proposed algorithm is based on the combination of two types of s...
Luiz E. Soares de Oliveira, Edouard Lethelier, Fl&...