Sciweavers

IANDC
2016
102views Biometrics» more  IANDC 2016»
7 years 11 months ago
Hybrid behaviour of Markov population models
We investigate the behaviour of population models, specified in stochastic Concurrent Constraint Programming (sCCP). In particular, we focus on models from which we can define a...
Luca Bortolussi
IANDC
2016
66views Biometrics» more  IANDC 2016»
7 years 11 months ago
Combined schemes for signature and encryption: The public-key and the identity-based setting
Consider a scenario in which parties use a public-key encryption scheme and a signature scheme with a single public key/private key pair—so the private key sk is used for both s...
Maria Isabel Gonzalez Vasco, Florian Hess, Rainer ...
IANDC
2016
116views Biometrics» more  IANDC 2016»
7 years 11 months ago
Smoothed model checking for uncertain Continuous-Time Markov Chains
We consider the problem of computing the satisfaction probability of a formula for stochastic models with parametric uncertainty. We show that this satisfaction probability is a s...
Luca Bortolussi, Dimitrios Milios, Guido Sanguinet...
IANDC
2016
89views Biometrics» more  IANDC 2016»
7 years 11 months ago
Proving language inclusion and equivalence by coinduction
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...
Jurriaan Rot, Marcello M. Bonsangue, Jan Rutten
IANDC
2016
87views Biometrics» more  IANDC 2016»
7 years 11 months ago
Polynomial inference of universal automata from membership and equivalence queries
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...
Johanna Björklund, Henning Fernau, Anna Kaspr...
IAJIT
2016
97views Biometrics» more  IAJIT 2016»
7 years 11 months ago
Algorithm for answer extraction based on pattern learning
: 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...
Muthukrishnan Ramprasath, Shanmugasundaram Harihar...
IAJIT
2016
69views Biometrics» more  IAJIT 2016»
7 years 11 months ago
Clustering with probabilistic topic models on arabic texts: a comparative study of LDA and K-means
: 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...
Abdessalem Kelaiaia, Hayet Farida Merouani
IAJIT
2016
65views Biometrics» more  IAJIT 2016»
7 years 11 months ago
Neural network with bee colony optimization for MRI brain cancer image classification
: 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...
Sathya Subramaniam, Manavalan Radhakrishnan
IAJIT
2016
77views Biometrics» more  IAJIT 2016»
7 years 11 months ago
A prototype for a standard arabic sentiment analysis corpus
Mohammed Al-Kabi, Mahmoud Al-Ayyoub, Izzat Alsmadi...