Sciweavers

2483 search results - page 443 / 497
» A design framework to model retinas
Sort
View
APVIS
2004
14 years 11 months ago
Semi-Automatic Feature Delineation In Medical Images
Resection or ablation of tumours is one treatment available for liver cancer. This delicate operation consists of removing the tumour(s) and surrounding healthy tissues. The surge...
Robin Martin, Nicole Bordes, Thomas Hugh, Bernard ...
WOA
2000
14 years 11 months ago
Towards Interoperable Mechanized Reasoning Systems: the Logic Broker Architecture
There is a growing interest in the integration of mechanized reasoning systems such as automated theorem provers, computer algebra systems, and model checkers. State-of-the-art re...
Alessandro Armando, Daniele Zini
ATAL
2010
Springer
14 years 11 months ago
Assignment problem in requirements driven agent collaboration and its implementation
Requirements Driven Agent Collaboration (RDAC) is a mechanism where the self-interested service agents actively and autonomously search for the required services submitted by the ...
Jian Tang, Zhi Jin
ATAL
2010
Springer
14 years 11 months ago
MAS-DisCoSim 4 PDP: a testbed for multi-agent solutions to PDPs
This demo illustrates MAS-DisCoSim 4 PDP, a testbed environment for evaluating distributed multi-agent system solutions to pickup and delivery problems (PDPs). PDPs are well-studi...
Jelle Van Gompel, Bart Tuts, Rutger Claes, Mario C...
DAIS
2008
14 years 11 months ago
Using Object Replication for Building a Dependable Version Control System
Object-oriented technologies are frequently used to design and implement distributed applications. Object replication is a well-established approach to increase the dependability f...
Rüdiger Kapitza, Peter Baumann, Hans P. Reise...