Sciweavers

252 search results - page 16 / 51
» Planning-based Integrated Decision Support Systems
Sort
View
ECIS
2000
13 years 10 months ago
A Framework for Clinical Decision Making and Medical Experience Storing
Different models of Decision Support Systems (DSS) are used in medicine to help physicians in disease diagnosis, prognosis evaluation and therapy prescription. The DSS models rely ...
Joël Colloc, Laïd Bouzidi
JAR
2006
103views more  JAR 2006»
13 years 8 months ago
A Framework for Verifying Bit-Level Pipelined Machines Based on Automated Deduction and Decision Procedures
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
Panagiotis Manolios, Sudarshan K. Srinivasan
CRIWG
2004
13 years 10 months ago
SaGISC: A Geo-Collaborative System
The production of geological mapping by conventional processes is a complex work of data gathering and integration, along with expert and team analysis. This process is very time c...
Paula André, Pedro Antunes
RTSS
2008
IEEE
14 years 3 months ago
Merge-by-Wire: Algorithms and System Support
Automakers are trying to make vehicles more intelligent and safe by embedding processors which can be used to implement by-wire applications for taking smart decisions on the road...
Vipul Shingde, Gurulingesh Raravi, Ashish Gudhe, P...
WOA
2001
13 years 10 months ago
How to Support Adaptive Mobile Applications
The Mobile Agent (MA) paradigm seems to be a promising solution for the design and development of distributed value-added services. However, mobility has added complexity to the d...
Antonio Corradi, Rebecca Montanari, Gianluca Tonti...