infopapers
30 SlideShares
Tags
antlr relational algebra web services atl model checking sql
Mehr anzeigen

Dokumente

(30)
Alle anzeigen

A Distributed CTL Model Checker

Vor 9 Jahren • 492 Aufrufe

A new Reinforcement Scheme for Stochastic Learning Automata

Vor 9 Jahren • 353 Aufrufe

Building a new CTL model checker using Web Services

Vor 9 Jahren • 423 Aufrufe

Using the Breeder GA to Optimize a Multiple Regression Analysis Model

Vor 9 Jahren • 468 Aufrufe

Automatic control based on Wasp Behavioral Model and Stochastic Learning Automata

Vor 9 Jahren • 619 Aufrufe

A New Nonlinear Reinforcement Scheme for Stochastic Learning Automata

Vor 9 Jahren • 266 Aufrufe

Optimizing a New Nonlinear Reinforcement Scheme with Breeder genetic algorithm

Vor 9 Jahren • 171 Aufrufe

A new Evolutionary Reinforcement Scheme for Stochastic Learning Automata

Vor 9 Jahren • 284 Aufrufe

An executable model for an Intelligent Vehicle Control System

Vor 9 Jahren • 672 Aufrufe

Generic Reinforcement Schemes and Their Optimization

Vor 9 Jahren • 219 Aufrufe

Algebraic Approach to Implementing an ATL Model Checker

Vor 9 Jahren • 294 Aufrufe

Modeling the Broker Behavior Using a BDI Agent

Vor 9 Jahren • 368 Aufrufe

A new co-mutation genetic operator

Vor 9 Jahren • 405 Aufrufe

Intelligent agents in ontology-based applications

Vor 9 Jahren • 401 Aufrufe

Models for a Multi-Agent System Based on Wasp-Like Behaviour for Distributed Patients Repartition

Vor 9 Jahren • 252 Aufrufe

Using genetic algorithms and simulation as decision support in marketing strategies and long-term production planning

Vor 9 Jahren • 290 Aufrufe

An AsmL model for an Intelligent Vehicle Control System

Vor 9 Jahren • 304 Aufrufe

Using Ontology in Electronic Evaluation for Personalization of eLearning Systems

Vor 9 Jahren • 386 Aufrufe

Interoperability issues in accessing databases through Web Services

Vor 9 Jahren • 326 Aufrufe

Evaluation of a hybrid method for constructing multiple SVM kernels

Vor 9 Jahren • 331 Aufrufe

An evolutionary method for constructing complex SVM kernels

Vor 9 Jahren • 263 Aufrufe

Optimization of Complex SVM Kernels Using a Hybrid Algorithm Based on Wasp Behaviour

Vor 9 Jahren • 309 Aufrufe

A general frame for building optimal multiple SVM kernels

Vor 9 Jahren • 230 Aufrufe

Generating JADE agents from SDL specifications

Vor 9 Jahren • 545 Aufrufe

CTL Model Update Implementation Using ANTLR Tools

Vor 9 Jahren • 440 Aufrufe

A New Model Checking Tool

Vor 9 Jahren • 261 Aufrufe

An Executable Actor Model in Abstract State Machine Language

Vor 9 Jahren • 434 Aufrufe

Building a Web-bridge for JADE agents

Vor 9 Jahren • 388 Aufrufe

Deliver Dynamic and Interactive Web Content in J2EE Applications

Vor 9 Jahren • 305 Aufrufe

Implementing an ATL Model Checker tool using Relational Algebra concepts

Vor 9 Jahren • 474 Aufrufe

Gefällt mir

(1)

Building a new CTL model checker using Web Services

infopapers • Vor 9 Jahren
Tags
antlr relational algebra web services atl model checking sql
Mehr anzeigen