Sciweavers

4049 search results - page 666 / 810
» Neural Network Trainer through Computer Networks
Sort
View
DSN
2004
IEEE
15 years 7 months ago
Model Checking Action- and State-Labelled Markov Chains
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
Christel Baier, Lucia Cloth, Boudewijn R. Haverkor...
DSN
2004
IEEE
15 years 7 months ago
An Architectural Framework for Providing Reliability and Security Support
This paper explores hardware-implemented error-detection and security mechanisms embedded as modules in a hardware-level framework called the Reliability and Security Engine (RSE)...
Nithin Nakka, Zbigniew Kalbarczyk, Ravishankar K. ...
ECCV
2004
Springer
15 years 7 months ago
Efficient Initialization for Constrained Active Surfaces, Applications in 3D Medical Images
A novel method allowing simplified and efficient active surface initialization for 3D images segmentation is presented. Our method allows to initialize an active surface through si...
Roberto Ardon, Laurent D. Cohen
FTDCS
2004
IEEE
15 years 7 months ago
A Distributed Buffer Management Approach Supporting IPv6 Mobility
In wireless local area networks (WLANs), mobility support is essential for providing seamless services. The current Mobile IP standard suffers several problems, especially for acc...
Yu-Hung Liu, Yaw-Chung Chen
E2EMON
2006
IEEE
15 years 6 months ago
Object-Relational DBMS for Packet-Level Traffic Analysis: Case Study on Performance Optimization
Analyzing Internet traffic at packet level involves generally large amounts of raw data, derived data, and results from various analysis tasks. In addition, the analysis often proc...
Matti Siekkinen, Ernst W. Biersack, Vera Goebel