Sciweavers

252 search results - page 29 / 51
» Planning-based Integrated Decision Support Systems
Sort
View
WECWIS
2005
IEEE
130views ECommerce» more  WECWIS 2005»
14 years 2 months ago
Future Research Challenges in Business Agility - Time, Control and Information Systems
Today organizations face increasingly dynamic and competitive environments. Business agility aims to address these challenges. In this contribution, we aim to increase understandi...
Markus Strohmaier, Herwig Rollett
AIPS
2006
13 years 10 months ago
Bringing Users and Planning Technology Together. Experiences in SIADEX
This work describes the solutions adopted to the problems tackled during the development of SIADEX, an intelligent planning and scheduling application where users play a central r...
Juan Fernández-Olivares, Luis A. Castillo, ...
ATVA
2005
Springer
131views Hardware» more  ATVA 2005»
14 years 2 months ago
An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata
Multi-Terminal Binary Decision Diagrams (MTBDDs) have been successfully applied in symbolic model checking of probabilistic systems. In this paper we propose an encoding method for...
Fuzhi Wang, Marta Z. Kwiatkowska
TABLEAUX
2005
Springer
14 years 2 months ago
Description Logics in Ontology Applications
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
Ian Horrocks
DATAMINE
2002
125views more  DATAMINE 2002»
13 years 8 months ago
High-Performance Commercial Data Mining: A Multistrategy Machine Learning Application
We present an application of inductive concept learning and interactive visualization techniques to a large-scale commercial data mining project. This paper focuses on design and c...
William H. Hsu, Michael Welge, Thomas Redman, Davi...