565 search results - page 86 / 113 » A Study on Successful Business Intelligence Systems in Pract... |
AI
2008
Springer
15 years 3 months ago
2008
Springer
The web, as a real mass medium, has become an invaluable data source for Information Extraction and Retrieval systems. Digital authoring is a relatively new style of communication,...
103
click to vote
AAAI
1994
15 years 2 months ago
1994
We consider using machine learning techniques to help understand a large software system. In particular, we describe how learning techniques can be used to reconstruct abstract Da...
117
click to vote
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
105
click to vote
IVA
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The paper describes an infotainment application where lifelike characters present two MP3 players in a virtual showroom. The key feature of the system is that the present...
158
click to vote
TABLEAUX
2000
Springer
15 years 5 months ago
2000
Springer
FaCT (Fast Classification of Terminologies) is a Description Logic (DL) classifier that can also be used for modal logic satisfiability testing. The FaCT system includes two reason...