Sciweavers

1621 search results - page 156 / 325
» What is Business Intelligence
Sort
View
IUI
2000
ACM
15 years 10 months ago
Creating an empirical basis for adaptation decisions
CT How can an adaptive intelligent interface decide what particular action to perform in a given situation, as a function of perceived properties of the user and the situation? Ide...
Anthony Jameson, Barbara Großmann-Hutter, Le...
136
Voted
KI
1993
Springer
15 years 9 months ago
Verbmobil - Translation of Face-To-Face Dialogs
Verbmobil is a long-term project on the translation of spontaneous language in negotiation dialogs. We describe the goals of the project, the chosen discourse domains and the init...
Wolfgang Wahlster
163
Voted
KI
1992
Springer
15 years 9 months ago
How to Construct a Logic for Your Application
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
Dov M. Gabbay
APN
2006
Springer
15 years 9 months ago
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
Thomas Chatain, Claude Jard
APN
2006
Springer
15 years 9 months ago
On the Construction of Pullbacks for Safe Petri Nets
The product of safe Petri nets is a well known operation : it generalizes to concurrent systems the usual synchronous product of automata. In this paper, we consider a more general...
Eric Fabre