Sciweavers

2840 search results - page 234 / 568
» Information Retrieval and Artificial Intelligence
Sort
View
APN
1997
Springer
15 years 10 months ago
Verification of Workflow Nets
Abstract. Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main...
Wil M. P. van der Aalst
AIIA
1995
Springer
15 years 10 months ago
Formalizing Reasoning About Change: A Temporal Diagnosis Approach
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...
Johann Gamper, Wolfgang Nejdl
FLAIRS
2007
15 years 9 months ago
Accessing XML Documents Using Semantic Meta Data in a P2P Environment
XGR (XML Data Grid) and BabelPeers are both data management systems based on distributed hash tables (DHT) that use the Pastry DHT to store data and meta data. XGR is based on the...
Dominic Battré, Felix Heine, André H...
FLAIRS
2004
15 years 8 months ago
Generating Tailored, Comparative Descriptions in Spoken Dialogue
We describe an approach to presenting information in spoken dialogues that for the first time brings together multi-attribute decision models, strategic content planning, state-of...
Johanna D. Moore, Mary Ellen Foster, Oliver Lemon,...
FLAIRS
2006
15 years 8 months ago
Representation and Reasoning for Deeper Natural Language Understanding in a Physics Tutoring System
Students' natural language (NL) explanations in the domain of qualitative mechanics lie in-between unrestricted NL and the constrained NL of "proper" domain stateme...
Maxim Makatchev, Kurt VanLehn, Pamela W. Jordan, U...