Sciweavers

160 search results - page 2 / 32
» The Conversion of Diagrams to Knowledge Bases
Sort
View
IIWAS
2008
13 years 7 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
IJMMS
2006
90views more  IJMMS 2006»
13 years 5 months ago
Evaluating mass knowledge acquisition using the ALICE chatterbot: The AZ-ALICE dialog system
In this paper, we evaluate mass knowledge acquisition using modified ALICE chatterbots. In particular we investigate the potential of allowing subjects to modify chatterbot respon...
Robert P. Schumaker, Ying Liu, Mark Ginsburg, Hsin...
DOCENG
2007
ACM
13 years 9 months ago
Logical document conversion: combining functional and formal knowledge
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...
Hervé Déjean, Jean-Luc Meunier
IV
2009
IEEE
149views Visualization» more  IV 2009»
14 years 12 days ago
Beyond Knowledge Visualization Usability: Toward a Better Understanding of Business Diagram Adoption
Information visualization research typically focuses on the formal aspects of specific graphic solutions in terms of their thinking and/or communication support. This type of anal...
Sabrina Bresciani, Martin J. Eppler
ICDT
2011
ACM
242views Database» more  ICDT 2011»
12 years 9 months ago
Knowledge compilation meets database theory: compiling queries to decision diagrams
The goal of Knowledge Compilation is to represent a Boolean expression in a format in which it can answer a range of online-queries in PTIME. The online-query of main interest to ...
Abhay Kumar Jha, Dan Suciu