default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st YSIP 2014: Stavropol, Russian Federation
- Steffen Hölldobler, Andrey Malikov, Christoph Wernhard:
Proceedings of the Young Scientists' International Workshop on Trends in Information Processing (YSIP) Co-located with the Sixth International Conference on Infocommunicational Technologies in Science, Production and Education (INFOCOM-6), Stavropol, Russian Federation, April 22-25, 2014. CEUR Workshop Proceedings 1145, CEUR-WS.org 2014
Research Papers
- Sergey Cherevko, Andrey Malikov:
Review of Modern Techniques of Qualitative Data Clustering. 7-13 - Steffen Hölldobler, Ferdian Jovan:
Advanced Petri Nets and the Fluent Calculus. 15-24 - Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke:
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. 25-34 - Roman Nemkov:
Dynamical Change of the Perceiving Properties of Neural Networks as Training with Noise and Its Impact on Pattern Recognition. 35-40 - Alina Petrova:
A Pipeline for Supervised Formal Definition Generation. 41-51 - Elena Stepanova, Alexey Liagin, Alla Pletukhina:
Properties of Majority Transformations under Random Processes Parameters Measurement. 53-56 - Denis Tananaev, Galina Shagrova, Victor Kozhevnikov:
Identification of Exploitation Conditions of the Automobile Tire while Car Driving by Means of Hidden Markov Models. 57-66 - Vladimir Volonkin:
DBMS Index for Hierarchical Data Using Nested Intervals and Residue Classes. 67-76
Tutorial
- Steffen Hölldobler, Lukas Schweizer:
Answer Set Programming and CLASP - A Tutorial. 77-95
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-19 22:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
