269
Voted
ICDCIT
2016
Springer
9 years 12 months ago
2016
Springer
Abstract. The Infrastructure-as-a-Service (IaaS) cloud is evolving towards the Resource-as-a-Service (RaaS) cloud: a cloud which requires economic decisions to be taken in real tim...
ICAE
2016
9 years 12 months ago
2016
This paper deals with automatic face recognition in the context of a real application for person identification developed for the Czech News Agency ( ˇCTK) . We focus on popular ...
392
Voted
IANDC
2016
9 years 12 months ago
2016
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...
382
Voted
IANDC
2016
9 years 12 months ago
2016
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...
416
Voted
IANDC
2016
9 years 12 months ago
2016
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...
458
Voted
IANDC
2016
9 years 12 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...
532
Voted
IANDC
2016
9 years 12 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...
429
Voted
IAJIT
2016
9 years 12 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...
388
Voted
IAJIT
2016
9 years 12 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...
362
Voted
IAJIT
2016
9 years 12 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...