Sciweavers

3779 search results - page 571 / 756
» Linear Consistency Testing
Sort
View
130
Voted
EVOW
2007
Springer
15 years 10 months ago
An Adaptive Global-Local Memetic Algorithm to Discover Resources in P2P Networks
This paper proposes a neural network based approach for solving the resource discovery problem in Peer to Peer (P2P) networks and an Adaptive Global Local Memetic Algorithm (AGLMA)...
Ferrante Neri, Niko Kotilainen, Mikko Vapa
HOLOMAS
2007
Springer
15 years 10 months ago
Information Agents Handling Semantic Data as an Extension to Process Monitoring Systems
An approach to extend process monitoring with the help of information agents (IA) handling semantic data is presented in this paper. According to this approach, an operator of a pr...
Teppo Pirttioja, Ilkka Seilonen, Antti Pakonen, Aa...
ICCBR
2007
Springer
15 years 10 months ago
Failure Analysis for Domain Knowledge Acquisition in a Knowledge-Intensive CBR System
A knowledge-intensive case-based reasoning system has profit of the domain knowledge, together with the case base. Therefore, acquiring new pieces of domain knowledge should impro...
Amélie Cordier, Béatrice Fuchs, Jean...
IFM
2007
Springer
245views Formal Methods» more  IFM 2007»
15 years 10 months ago
Co-simulation of Distributed Embedded Real-Time Control Systems
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F....
115
Voted
MICCAI
2007
Springer
15 years 10 months ago
Robotic Assistance for Ultrasound Guided Prostate Brachytherapy
We present a robotically assisted prostate brachytherapy system and test results in training phantoms. The system consists of a transrectal ultrasound (TRUS) and a spatially co-reg...
Gabor Fichtinger, Jonathan Fiene, Christopher W. K...