Sciweavers

6775 search results - page 143 / 1355
» Diagnosis of Active Systems
Sort
View
IS4TH
2003
Springer
15 years 11 months ago
Deformable Tissue Parameterized by Properties of Real Biological Tissue
Realistic mechanical models of biological soft tissues are a key issue to allow the implementation of reliable systems to aid on orthopedic diagnosis and surgery planning. We are w...
Anderson Maciel, Ronan Boulic, Daniel Thalmann
WOA
2000
15 years 7 months ago
Expressing Collaboration And Competition Among Abductive Logic Agents
This paper presents a language for coordinating several logic-based agents capable of abductive reasoning. The system is particularly suited for solving problems with incomplete k...
Anna Ciampolini, Evelina Lamma, Paola Mello, Paolo...
JLP
1998
147views more  JLP 1998»
15 years 6 months ago
Automated Reasoning with a Constraint-Based Metainterpreter
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
Henning Christiansen