Showing 801 - 820 results of 7,253 for search '"Computer Science"', query time: 0.28s Refine Results
  1. 801
    comparison of small sample methods for Handshape Recognition

    comparison of small sample methods for Handshape Recognition by Franco Ronchetti, Facundo Quiroga, Ulises Jeremias Cornejo Fandos, Gastón Gustavo Rios, Pedro Dal Bianco, Waldo Hasperué, Laura Lanzarini

    Published 2023-04-01
    “…Journal of Computer Science and Technology…”
    Get full text
    Article
  2. 802
    Editorial

    Editorial by Christian Gütl

    Published 2022-11-01
    “…Journal of Universal Computer Science…”
    Get full text
    Article
  3. 803
    A Formal Proof of the Irrationality of $\zeta(3)$

    A Formal Proof of the Irrationality of $\zeta(3)$ by Assia Mahboubi, Thomas Sibut-Pinote

    Published 2021-02-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  4. 804
    Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus

    Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus by Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca

    Published 2017-12-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  5. 805
    Artificial neural network-based ground reaction force estimation and learning for dynamic-legged robot systems

    Artificial neural network-based ground reaction force estimation and learning for dynamic-legged robot systems by Jaehoon An, Inho Lee

    Published 2023-12-01
    “…PeerJ Computer Science…”
    Get full text
    Article
  6. 806
    Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion

    Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion by Thomas Ehrhard, Antonio Bucciarelli, Alberto Carraro, Giulio Manzonetto

    Published 2012-10-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  7. 807
    The insulin activity model based on insulin profiles

    The insulin activity model based on insulin profiles by Tomasz Nowicki

    Published 2019-12-01
    “…Journal of Computer Sciences Institute…”
    Get full text
    Article
  8. 808
    Linear Programs with Conjunctive Database Queries

    Linear Programs with Conjunctive Database Queries by Florent Capelli, Nicolas Crosetti, Joachim Niehren, Jan Ramon

    Published 2024-01-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  9. 809
    Expressive Logics for Coinductive Predicates

    Expressive Logics for Coinductive Predicates by Clemens Kupke, Jurriaan Rot

    Published 2021-12-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  10. 810
    The Complexity of Combinations of Qualitative Constraint Satisfaction Problems

    The Complexity of Combinations of Qualitative Constraint Satisfaction Problems by Manuel Bodirsky, Johannes Greiner

    Published 2020-02-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  11. 811
    Wall segmentation in 2D images using convolutional neural networks

    Wall segmentation in 2D images using convolutional neural networks by Mihailo Bjekic, Ana Lazovic, Venkatachalam K, Nebojsa Bacanin, Miodrag Zivkovic, Goran Kvascev, Bosko Nikolic

    Published 2023-09-01
    “…PeerJ Computer Science…”
    Get full text
    Article
  12. 812
    Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof)

    Bisimilarity on Basic Process Algebra is in 2-ExpTime (an explicit proof) by Petr Jancar

    Published 2013-03-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  13. 813
    Logical and Algebraic Characterizations of Rational Transductions

    Logical and Algebraic Characterizations of Rational Transductions by Emmanuel Filiot, Olivier Gauwin, Nathan Lhote

    Published 2019-12-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  14. 814
    On Resolving Non-determinism in Choreographies

    On Resolving Non-determinism in Choreographies by Laura Bocchi, Hernan Melgratti, Emilio Tuosto

    Published 2020-09-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  15. 815
    The Parallel Algorithms for a Correlation Function Computing

    The Parallel Algorithms for a Correlation Function Computing by A.Tsaryov

    Published 2001-02-01
    “…Computer Science Journal of Moldova…”
    Get full text
    Article
  16. 816
    FMC2 model based perception grading for dark insurgent network analysis

    FMC2 model based perception grading for dark insurgent network analysis by Ganesh Kumar Pugalendhi, Shanmugapriya Kumaresan, Anand Paul

    Published 2023-12-01
    “…PeerJ Computer Science…”
    Get full text
    Article
  17. 817
    Construction of applied talents training system based on machine learning under the background of new liberal arts

    Construction of applied talents training system based on machine learning under the background of new liberal arts by Fei Tang

    Published 2023-07-01
    “…PeerJ Computer Science…”
    Get full text
    Article
  18. 818
    Distributed Asynchronous Games With Causal Memory are Undecidable

    Distributed Asynchronous Games With Causal Memory are Undecidable by Hugo Gimbert

    Published 2022-09-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article
  19. 819
    Semantic visual simultaneous localization and mapping (SLAM) using deep learning for dynamic scenes

    Semantic visual simultaneous localization and mapping (SLAM) using deep learning for dynamic scenes by Xiao Ya Zhang, Abdul Hadi Abd Rahman, Faizan Qamar

    Published 2023-10-01
    “…PeerJ Computer Science…”
    Get full text
    Article
  20. 820
    Ranking Templates for Linear Loops

    Ranking Templates for Linear Loops by Jan Leike, Matthias Heizmann

    Published 2015-03-01
    “…Logical Methods in Computer Science…”
    Get full text
    Article

Search Tools: