Sciweavers

2016 search results - page 122 / 404
» Megamaps: Construction and Examples
Sort
View
ACL
1997
15 years 7 months ago
Learning Features that Predict Cue Usage
Our goal is to identify the features that predict the occurrence and placement of discourse cues in tutorial explanations in order to aid in the automatic generation of explanatio...
Barbara Di Eugenio, Johanna D. Moore, Massimo Paol...
DLOG
1997
15 years 7 months ago
Inspecting Concepts Graphically with Zoomable Lenses
This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...
Gary Ng, Carole A. Goble, Adrian West
PTS
1998
81views Hardware» more  PTS 1998»
15 years 7 months ago
Testing Temporal Logic Properties in Distributed Systems
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...
WSC
1998
15 years 7 months ago
An Integration Test-bed System for Supply Chain Management
This paper proposes an integration test-bed system for supply chain management, which forms the foundation for the construction of a valued manufacturing chain. The core system of...
Shigeki Umeda, Albert Jones
WSC
2000
15 years 7 months ago
Using simulation for the economic evaluation of liver transplantation
This paper demonstrates the use of simulation in an evaluative study for the technology of liver transplantation from cost-effectiveness point of view. This study is conducted in ...
Lynne P. Baldwin, Tillal Eldabi, Ray J. Paul, Andr...