„programming“

Suchergebnisse

10.000+ Treffer

• Complexity results for answer set programming with bounded predicate arities and implications
  Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael ; Woltran, Stefan
• Interactive Support of Planning in a Functional, Visual Programming Language
  Möbus, Claus ; Thole, Heinz-Jürgen ; Schröder, Olaf ; Brna, Paul ; Ohlsson, Stefan ; Pain, Helen 1993 Association for the Advancement of Computing in Education (AACE)
• A Knowledge Graph Perspective on Knowledge Engineering
  Simsek, Umutcan ; Kärle, Elias ; Angele, Kevin ; Huaman, Elwin ; Opdenplatz, Juliette ; Sommer, Dennis ; Umbrich, Jürgen ; Fensel, Dieter
• Judging a book by its cover: significance of UX design in gamification and computing systems
  Sushra, Tulasi ; Iyengar, Nitya ; Shah, Manan ; Kshirsagar, Ameya
• An efficient authentication with key agreement procedure using Mittag–Leffler–Chebyshev summation chaotic map under the multi-server architecture
  Meshram, Chandrashekhar ; Ibrahim, Rabha W. ; Meshram, Sarita Gajbhiye ; Jamal, Sajjad Shaukat ; Imoize, Agbotiname Lucky
• Verifying safety of synchronous fault-tolerant algorithms by bounded model checking
  Stoilkovska, Ilina ; Konnov, Igor ; Widder, Josef ; Zuleger, Florian
• Discriminating features-based cost-sensitive approach for software defect prediction
  Ali, Aftab ; Khan, Naveed ; Abu-Tair, Mamun ; Noppen, Joost ; McClean, Sally I. ; McChesney, Ian
• Time-critical energy minimization protocol using PQM (TCEM-PQM) for wireless body sensor network
  Thirumoorthy, P. ; Kalyanasundaram, P. ; Maheswar, R. ; Jayarajan, P. ; Kanagachidambaresan, G. R. ; Amiri, Iraj S.
• Episodic Memories for Safety-Aware Robots – Knowledge Representation and Reasoning for Robots that Safely Interact with Human Co-Workers
  Bartels, Georg ; Beßler, Daniel ; Beetz, Michael
• Forschungscluster „Automatisierungstechnik und Computertechnik“
  Dietrich, Dietmar ; Schrödl, Manfred ; Schweinzer, Herbert ; Weinmann, Alexander
• Semantics in data and knowledge bases – 5th international workshop ; revised selected papers
  Schewe, Klaus-Dieter ; Thalheim, Bernhard 2013 Springer
• Quasi-Polynomial Time Algorithms for Free Quantum Games in Bounded Dimension
  Jee, Hyejung H. ; Sparaciari, Carlo ; Fawzi, Omar ; Berta, Mario 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Programming the crystallization rate along a Bridgman test tube
  Čabrić, Branislav ; Arnaut, S. ; Cvjetković, Vladimir
• Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202)
  De Raedt, Luc ; Evans, Richard ; Muggleton, Stephen H. ; Schmid, Ute
• Multi-valued Logic for Decision-Making Under Uncertainty
  Kagan, Evgeny ; Rybalov, Alexander ; Yager, Ronald R. 2025 Springer Nature Switzerland, Imprint: Birkhäuser
• Gamifying model-based engineering: the PapyGame experience
  Bucchiarone, Antonio ; Savary-Leblanc, Maxime ; Pallec, Xavier Le ; Cicchetti, Antonio ; Gérard, Sébastien ; Bassanelli, Simone ; Gini, Federica ; Marconi, Annapaola
• Optimal multiprogramming
  Denning, Peter J. ; Kahn, Kevin C. ; Leroudier, Jacques ; Potier, Dominique ; Suri, Rajan
• Domain object hierarchies inducing multi-level models
  Neumayr, Bernd ; Schrefl, Michael
• The RERS challenge: towards controllable and scalable benchmark synthesis
  Howar, Falk ; Jasper, Marc ; Mues, Malte ; Schmidt, David ; Steffen, Bernhard
• Empirical validation of a quality framework for evaluating modelling languages in MDE environments
  Giraldo, Fáber D. ; Chicaiza, Ángela J. ; España, Sergio ; Pastor, Óscar