„programming model“

Suchergebnisse

4.625 Treffer

• SATMC: a SAT-based model checker for security protocols, business processes, and security APIs
  Armando, Alessandro ; Carbone, Roberto ; Compagna, Luca
• Many-core on-the-fly model checking of safety properties using GPUs
  Wijs, Anton ; Bošnački, Dragan
• On the use of models for high-performance scientific computing applications: an experience report
  Ober, Ileana ; Palyart, Marc ; Bruel, Jean-Michel ; Lugato, David
• Learning behavior patterns from video for agent-based crowd modeling and simulation
  Zhong, Jinghui ; Cai, Wentong ; Luo, Linbo ; Zhao, Mingbi
• Meta-learning based selection of software reliability models
  Caiuta, Rafael ; Pozo, Aurora ; Vergilio, Silvia Regina
• Personnel scheduling using an integer programming model- an application at Avanti Blue-Nile Hotels
  Kassa, Biniyam Asmare ; Tizazu, Anteneh Eshetu
• A constraint programming model for the scheduling of JIT cross-docking systems with preemption
  Fazel Zarandi, M. H. ; Khorshidian, H. ; Akbarpour Shirazi, M.
• A Comparison Between Regression Models and Genetic Programming for Predictions of Chlorophyll-a Concentrations in Northern Lakes
  Dimberg, Peter H. ; Olofsson, Christofer J.
• Integer programming models and branch-and-cut approaches to generalized {0,1,2}-survivable network design problems
  Leitner, Markus
• A mathematical model for solving fully fuzzy linear programming problem with trapezoidal fuzzy numbers
  Das, Sapan Kumar ; Mandal, T. ; Edalatpanah, S. A.
• Quadratic programming by spiking neuronal networks
  Moreno-Bote, Rubén ; Schustek, Philipp
• Designing spiking neural models of neurophysiological recordings using gene expression programming
  Espinosa-Ramos, Josafath I. ; Vazquez, Roberto A. ; Cruz-Cortes, Nareli
• A comparison of multiple behavior models in a simulation of the aftermath of an improvised nuclear detonation
  Parikh, Nidhi ; Hayatnagarkar, Harshal G. ; Beckman, Richard J. ; Marathe, Madhav V. ; Swarup, Samarth
• Logic for programming, artificial intelligence, and reasoning – 16th international conference ; revised selected papers
  Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer
• Neural information processing
  2010 Springer
• Neural information processing
  2010 Springer
• Simulation, modeling, and programming for autonomous robots – second international conference ; proceedings
  Andō, Noriaki ; Balakirsky, Stephen ; Hemker, Thomas ; Reggiani, Monica ; von Stryk, Oskar 2010 Springer
• Modeling high demand variance in dynamic programming
  Walczak, Darius
• Management of logistics operations in intermodal terminals by using dynamic modelling and nonlinear programming
  Alessandri, Angelo ; Cervellera, Cristiano ; Cuneo, Marta ; Gaggero, Mauro ; Soncin, Giuseppe
• A two-stage stochastic programming with recourse model for determining robust planting plans in horticulture
  Darby-Dowman, K. ; Barker, S. ; Audsley, E. ; Parsons, D.