481
click to vote
IANDC
2016
10 years 1 months ago
2016
Language equivalence and inclusion can be checked coinductively by establishing a (bi)simulation on suitable deterministic automata. In this paper we present an enhancement of thi...
554
click to vote
IANDC
2016
10 years 1 months ago
2016
We present a MAT learning algorithm that infers the universal automaton for a regular target language using a polynomial number of queries with respect to that automaton. The univ...
458
click to vote
IAJIT
2016
10 years 1 months ago
2016
: The rapid growth of information available on the internet has provoked the development of diverse tool for searching and browsing large document collections. Information retrieva...
407
click to vote
IAJIT
2016
10 years 1 months ago
2016
: Recently, probabilistic topic models such as Latent Dirichlet Allocation (LDA) have been widely used for applications in many text mining tasks such as retrieval, summarization a...
384
click to vote
IAJIT
2016
10 years 1 months ago
2016
: Brain tumor is one of the foremost causes for the increase in mortality among children and adults. Computer visions are being used by doctors to analysis and diagnose the medical...
147
click to vote
IAJIT
2016
10 years 1 months ago
2016
: Cloud computing is the one of the emerging techniques to process the big data. Cloud computing is also, known as service on demand. Large set or large volume of data is known as ...
155
click to vote
IAJIT
2016
10 years 1 months ago
2016
: The PCM- oMaRS algorithm guarantees the maximal reduction steps of the computation of the exact median in distributed datasets and proved that we can compute the exact median eff...
126
click to vote
IAJIT
2016
10 years 1 months ago
2016
: The information that is increasing and changing rapidly at the present day, and the usage of computers in educational and instructional processes has become inevitable. With the ...