Sciweavers

252 search results - page 16 / 51
» Planning-based Integrated Decision Support Systems
Sort
View
112
Voted
ECIS
2000
15 years 1 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
115
Voted
JAR
2006
103views more  JAR 2006»
15 years 13 days 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
113
Voted
CRIWG
2004
15 years 1 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
15 years 6 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...
111
Voted
WOA
2001
15 years 1 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...