Sciweavers

1668 search results - page 196 / 334
» Towards a Design Methodology for Decision Support Systems
Sort
View
MKM
2005
Springer
15 years 12 months ago
Authoring Presentation for OpenMath
Some mathematical objects can have more than one notation. When a system compiles mathematical material from multiple sources, a management effort to maintain uniform and appropri...
Shahid Manzoor, Paul Libbrecht, Carsten Ullrich, E...
ICTAI
1999
IEEE
15 years 10 months ago
A Practical Student Model in an Intelligent Tutoring System
In this paper we consider two questions related to student modeling in an intelligent tutoring system: 1) What kind of student model should we build when we design a new system; 2...
Yujian Zhou, Martha W. Evens
KDD
2006
ACM
174views Data Mining» more  KDD 2006»
16 years 6 months ago
Onboard classifiers for science event detection on a remote sensing spacecraft
Typically, data collected by a spacecraft is downlinked to Earth and pre-processed before any analysis is performed. We have developed classifiers that can be used onboard a space...
Ashley Davies, Benjamin Cichy, Dominic Mazzoni, Ng...
IEEESCC
2005
IEEE
15 years 12 months ago
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
Howard Foster, Sebastián Uchitel, Jeff Mage...
WSC
2000
15 years 7 months ago
A strategic supply chain simulation model
In this paper, we describe a simulation game designed to quantify the benefits of an enterprise resource planning system coupled with the balanced scorecard framework in an extend...
James Ritchie-Dunham, Douglas J. Morrice, Judy E. ...