Sciweavers

549 search results - page 24 / 110
» Using Formal Concept Analysis in Mathematical Discovery
Sort
View
ICDM
2007
IEEE
147views Data Mining» more  ICDM 2007»
15 years 5 months ago
Improving Knowledge Discovery in Document Collections through Combining Text Retrieval and Link Analysis Techniques
In this paper, we present Concept Chain Queries (CCQ), a special case of text mining in document collections focusing on detecting links between two topics across text documents. ...
Wei Jin, Rohini K. Srihari, Hung Hay Ho, Xin Wu
JCST
2010
189views more  JCST 2010»
14 years 8 months ago
Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving
Probabilistic techniques are widely used in the analysis of algorithms to estimate the computational complexity of algorithms or a computational problem. Traditionally, such analys...
Osman Hasan, Sofiène Tahar
USAB
2007
15 years 3 months ago
Improving Interactive Systems Usability Using Formal Description Techniques: Application to HealthCare
In this paper we argue that the formal analysis of an interactive medical system can improve their usability evaluation such that potential erroneous interactions are identified an...
Philippe A. Palanque, Sandra Basnyat, David Navarr...
NAACL
2003
15 years 3 months ago
Automatic Extraction of Semantic Networks from Text using Leximancer
Leximancer is a software system for performing conceptual analysis of text data in a largely language independent manner. The system is modelled on Content Analysis and provides u...
Andrew E. Smith
TCS
2002
15 years 1 months ago
A unified language processing methodology
This paper discusses a mathematical concept of language that models both artificial and natural languages and thus provides a framework for a unified language processing methodolo...
Teodor Rus