Sciweavers

    IANDC
    2016
    102views Biometrics» more  IANDC 2016»
    Hybrid behaviour of Markov population models
    8 years 8 months ago
    Hybrid behaviour of Markov population models
    Download  www.bortolussi.dmg.units.it
    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
    claim paper
    Read More »
    IANDC
    2016
    66views Biometrics» more  IANDC 2016»
    Combined schemes for signature and encryption: The public-key and the identity-based setting
    8 years 8 months ago
    Combined schemes for signature and encryption: The public-key and the identity-based setting
    Download  www.staff.uni-oldenburg.de
    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 ...
    claim paper
    Read More »
    IANDC
    2016
    116views Biometrics» more  IANDC 2016»
    Smoothed model checking for uncertain Continuous-Time Markov Chains
    8 years 8 months ago
    Smoothed model checking for uncertain Continuous-Time Markov Chains
    Download  www.bortolussi.dmg.units.it
    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...
    claim paper
    Read More »
    IANDC
    2016
    89views Biometrics» more  IANDC 2016»
    Proving language inclusion and equivalence by coinduction
    8 years 8 months ago
    Proving language inclusion and equivalence by coinduction
    Download  oai.cwi.nl
    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
    claim paper
    Read More »
    IANDC
    2016
    87views Biometrics» more  IANDC 2016»
    Polynomial inference of universal automata from membership and equivalence queries
    8 years 8 months ago
    Polynomial inference of universal automata from membership and equivalence queries
    Download  www.uni-trier.de
    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...
    claim paper
    Read More »
    IAJIT
    2016
    97views Biometrics» more  IAJIT 2016»
    Algorithm for answer extraction based on pattern learning
    8 years 8 months ago
    Algorithm for answer extraction based on pattern learning
    Download  acit2k.org
    : 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...
    claim paper
    Read More »
    IAJIT
    2016
    69views Biometrics» more  IAJIT 2016»
    Clustering with probabilistic topic models on arabic texts: a comparative study of LDA and K-means
    8 years 8 months ago
    Clustering with probabilistic topic models on arabic texts: a comparative study of LDA and K-means
    Download  ccis2k.org
    : 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
    claim paper
    Read More »
    IAJIT
    2016
    65views Biometrics» more  IAJIT 2016»
    Neural network with bee colony optimization for MRI brain cancer image classification
    8 years 8 months ago
    Neural network with bee colony optimization for MRI brain cancer image classification
    Download  ccis2k.org
    : 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
    claim paper
    Read More »
    IAJIT
    2016
    64views Biometrics» more  IAJIT 2016»
    Content-based image retrieval based on integrating region segmentation and colour histogram
    8 years 8 months ago
    Content-based image retrieval based on integrating region segmentation and colour histogram
    Download  acit2k.org
    Duraisamy Yuvaraj, Shanmugasundaram Hariharan
    claim paper
    Read More »
    IAJIT
    2016
    77views Biometrics» more  IAJIT 2016»
    A prototype for a standard arabic sentiment analysis corpus
    8 years 8 months ago
    A prototype for a standard arabic sentiment analysis corpus
    Download  acit2k.org
    Mohammed Al-Kabi, Mahmoud Al-Ayyoub, Izzat Alsmadi...
    claim paper
    Read More »
    123456789…next ›last »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    International On-screen Keyboard Graphical Social Symbols OCR Text Recognition CSS3 Style Generator Web Page to PDF Web Page to Image PDF Split PDF Merge Latex Equation Editor Sci2ools
    Document Tools
    PDF to Text PDF to Postscript PDF to Thumbnails Excel to PDF Word to PDF Postscript to PDF PowerPoint to PDF Latex to Word Repair Corrupted PDF
    Image Tools
    JPG to PS JPG to PDF Extract Images from PDF Image Converter
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2024, USA.