Search Results - "2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC)" :: K.UTB vyhledávací portál

Deciding and Interpolating Algebraic Data Types by Reduction

by Hojjat, Hossein, Rummer, Philipp
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

Defect Detection in Porcelain Industry Based on Deep Learning Techniques

by Birlutiu, Adriana, Burlacu, Adrian, Kadar, Manuella, Onita, Daniela
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

A Hierarchical Clustering-Based Approach for Software Restructuring at the Package Level

by Marian, Zsuzsanna, Czibula, Istvan-Gergely, Czibula, Gabriela
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

A Certified Procedure for RL Verification

by Arusoaie, Andrei, Nowak, David, Rusu, Vlad, Lucanu, Dorel
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm

by Turlea, Ana, Ipate, Florentin, Lefticaru, Raluca
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

SMT Solving for Arithmetic Theories: Theory and Tool Support

by Abraham, Erika, Kremer, Gereon
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

Abstract Continuation Semantics for Asynchronous Concurrency

by Ciobanu, Gabriel, Todoran, Eneia Nicolae
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

Improving Lost/Won Classification in CRM Systems Using Sentiment Analysis

by Rotovei, Doru, Negru, Viorel
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

Integration of Jason Reinforcement Learning Agents into an Interactive Application

by Badica, Costin, Becheru, Alex, Felton, Samuel
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

CYBERH: Cyber-Physical Systems in Health for Personalized Assistance

by Gil, Debora, Hernandez-Sabate, Aura, Castells-Rufas, David, Carrabina, Jordi
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

An SDP-based Method for the Real Radical Ideal Membership Test

by Wang, Fei, Reid, Greg, Wolkowicz, Henry
Published in Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (01.09.2017)

Get full text

Conference Proceeding

Loading…

Topic Modeling Using Contextual Cues

by Truica, Ciprian-Octavian, Apostol, Elena Simona, Leordeanu, Catalin Adrian
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

An Approach to Performance Evaluation Programming

by Todoran, Eneia Nicolae
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

Formalization and Closedness of Finite Dimensional Subspaces

by Faissole, Florian
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

A Home Based Health-Care Solution for Older Adults Using Kinect

by Codreanu, Ioana-Andra, Florea, Adina Magda, Mocanu, Irina
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

VIAP - Automated System for Verifying Integer Assignment Programs with Loops

by Rajkhowa, Pritom, Lin, Fangzhen
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

System Description: Statistical Parsing of Informalized Mizar Formulas

by Kaliszyk, Cezary, Urban, Josef, Vyskocil, Jiri
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

Identifying Socio-Cognitive Structures in Online Knowledge Building Communities Using Cohesion Network Analysis

by Nistor, Nicolae, Panaite, Marilena, Dascalu, Mihai, Trausan-Matu, Stefan
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

Rational orthonormal matrices

by Khattak, Nasir, Jeffrey, D. J.
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Loading…

Jaccard-Like Fuzzy Distances for Computational Linguistics

by Franzoi, Laura
Published in 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) (01.09.2017)

Get full text

Conference Proceeding

Refine Results

Format

Subject Area

Topic

Language

Year of Publication

Database