„Computer Programming“

Suchergebnisse

10.000+ Treffer

• An Algorithm for the Solution of Multiparametric Mixed Integer Linear Programming Problems
  Dua, Vivek ; Pistikopoulos, Efstratios N.
• A Comparison Between Bayesian Dialysis and Machine Learning to Detect Tax Fraud and Its Causes: The Case of Vat, Corporate Tax and Customs Duties in Spain
  González García, Ignacio ; Mateos Caballero, Alfonso
• Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2017
  Legay, Axel ; Margaria, Tiziana
• A study into the practice of reporting software engineering experiments
  Cerqueira Revoredo, Kate ; Djurica, Djordje ; Mendling, Jan
• Pure Functions in C: A Small Keyword for Automatic Parallelization
  Süß, Tim ; Nagel, Lars ; Vef, Marc-André ; Brinkmann, André ; Feld, Dustin ; Soddemann, Thomas
• Validation of the ABZ landing gear system using ProB
  Ladenberger, Lukas ; Hansen, Dominik ; Wiegard, Harald ; Bendisposto, Jens Marco ; Leuschel, Michael
• Combining usage-based and model-based testing for service-oriented architectures in the industrial practice
  Herbold, Steffen ; Harms, Patrick ; Grabowski, Jens
• Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples
  Besold, Tarek R. ; Garcez, Artur d’Avila ; Stenning, Keith ; Torre, Leendert van der ; Lambalgen, Michiel ˜vanœ
• Inferring physical units in formal models
  Krings, Sebastian ; Leuschel, Michael
• Evaluation of lightning location data employing measurements of direct strikes to a radio tower
  Diendorfer, G. ; Hadrian, Wolfgang ; Hofbauer, F. ; Mair, M. ; Schulz, W.
• metaSMT: focus on your application and not on solver integration
  Riener, Heinz ; Haedicke, Finn ; Frehse, Stefan ; Soeken, Mathias ; Große, Daniel ; Drechsler, Rolf ; Fey, Görschwin
• Advanced Computational Methods for Knowledge Engineering – Proceedings of 3rd International Conference on Computer Science, Applied Mathematics and Applications - ICCSAMA 2015
  Hoai An Le Thi ; Nguyen, Ngoc Thanh ; Do, Tien Van 2015 Springer International Publishing
• Topological influence and locality in swap schelling games
  Bilò, Davide ; Bilò, Vittorio ; Lenzner, Pascal ; Molitor, Louise
• Editorial Introduction to the Special Issue on Evolutionary Computation in Art, Music and Design
  Machado, Penousal ; Romero, Juan
• Introduction to special issue on twenty-five years of grammatical evolution
  Mahdinejad, Mahsa ; Murphy, Aidan ; Ryan, Conor
• Multiple objective programming and goal programming: making better decisions with artificial intelligence and business analytics
  La Torre, Davide ; Masri, Hatem
• Introduction: special issue on evolvable hardware challenges
  Haddow, Pauline C.
• Editorial 2024: moving forwards in the electronic age
  Fernau, Henning
• Editorial for the special issue on programming models and system software for High-Performance Computing (HPC) environments
  Fang, Jianbin ; Zhai, Jidong ; Wang, Zheng
• Künstliche Intelligenz
  Furbach, Ulrich