Sciweavers

6167 search results - page 904 / 1234
» Can Refinement be Automated
Sort
View
DLOG
2010
15 years 2 months ago
Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results
In this paper we outline an algebraic tableau algorithm for the DL SHOQ, which supports more informed reasoning due to the use of semantic partitioning and integer programming. We ...
Jocelyne Faddoul, Volker Haarslev
182
Voted
ICDIM
2010
IEEE
15 years 2 months ago
Data mining and automatic OLAP schema generation
Data mining aims at extraction of previously unidentified information from large databases. It can be viewed as an automated application of algorithms to discover hidden patterns a...
Muhammad Usman, Sohail Asghar, Simon Fong
BMCBI
2011
14 years 11 months ago
Tree Pruner: An efficient tool for selecting data from a biased genetic database
Background: Large databases of genetic data are often biased in their representation. Thus, selection of genetic data with desired properties, such as evolutionary representation ...
Mohan Krishnamoorthy, Pragneshkumar Patel, Mira Di...
164
Voted
CORR
2011
Springer
217views Education» more  CORR 2011»
14 years 11 months ago
Using Short Message Service (SMS) to Support Business Continuity
Now a many organizations are required to communicate online on a daily basis, 24-hour, seven-days-a-week, to gain the desired competitive advantages and profits; although there are...
Maher Abdel-qader, Ahmad Al-Jaber, Alaa Al-Hamami
CSL
2011
Springer
14 years 11 months ago
Detecting emotional state of a child in a conversational computer game
The automatic recognition of user’s communicative style within a spoken dialog system framework, including the affective aspects, has received increased attention in the past f...
Serdar Yildirim, Shrikanth Narayanan, Alexandros P...