infopapers

0 Abonné

30 SlideShares

antlr relational algebra web services atl model checking sql

Tout plus

Activité
À propos

A Distributed CTL Model Checker

il y a 9 ans • 492 Vues

A new Reinforcement Scheme for Stochastic Learning Automata

il y a 9 ans • 353 Vues

Building a new CTL model checker using Web Services

il y a 9 ans • 423 Vues

Using the Breeder GA to Optimize a Multiple Regression Analysis Model

il y a 9 ans • 468 Vues

Automatic control based on Wasp Behavioral Model and Stochastic Learning Automata

il y a 9 ans • 619 Vues

A New Nonlinear Reinforcement Scheme for Stochastic Learning Automata

il y a 9 ans • 266 Vues

Optimizing a New Nonlinear Reinforcement Scheme with Breeder genetic algorithm

il y a 9 ans • 171 Vues

A new Evolutionary Reinforcement Scheme for Stochastic Learning Automata

il y a 9 ans • 284 Vues

An executable model for an Intelligent Vehicle Control System

il y a 9 ans • 672 Vues

Generic Reinforcement Schemes and Their Optimization

il y a 9 ans • 219 Vues

Algebraic Approach to Implementing an ATL Model Checker

il y a 9 ans • 294 Vues

Modeling the Broker Behavior Using a BDI Agent

il y a 9 ans • 368 Vues

A new co-mutation genetic operator

il y a 9 ans • 405 Vues

Intelligent agents in ontology-based applications

il y a 9 ans • 401 Vues

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

il y a 9 ans • 252 Vues

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

il y a 9 ans • 290 Vues

An AsmL model for an Intelligent Vehicle Control System

il y a 9 ans • 304 Vues

Using Ontology in Electronic Evaluation for Personalization of eLearning Systems

il y a 9 ans • 386 Vues

Interoperability issues in accessing databases through Web Services

il y a 9 ans • 326 Vues

Evaluation of a hybrid method for constructing multiple SVM kernels

il y a 9 ans • 331 Vues

An evolutionary method for constructing complex SVM kernels

il y a 9 ans • 263 Vues

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

il y a 9 ans • 309 Vues

A general frame for building optimal multiple SVM kernels

il y a 9 ans • 230 Vues

Generating JADE agents from SDL specifications

il y a 9 ans • 545 Vues

CTL Model Update Implementation Using ANTLR Tools

il y a 9 ans • 440 Vues

A New Model Checking Tool

il y a 9 ans • 261 Vues

An Executable Actor Model in Abstract State Machine Language

il y a 9 ans • 434 Vues

Building a Web-bridge for JADE agents

il y a 9 ans • 388 Vues

Deliver Dynamic and Interactive Web Content in J2EE Applications

il y a 9 ans • 305 Vues

Implementing an ATL Model Checker tool using Relational Algebra concepts

il y a 9 ans • 474 Vues

Building a new CTL model checker using Web Services

infopapers • il y a 9 ans

antlr relational algebra web services atl model checking sql

Tout plus

infopapers

Documents

A Distributed CTL Model Checker

A new Reinforcement Scheme for Stochastic Learning Automata

Building a new CTL model checker using Web Services

Using the Breeder GA to Optimize a Multiple Regression Analysis Model

Automatic control based on Wasp Behavioral Model and Stochastic Learning Automata

A New Nonlinear Reinforcement Scheme for Stochastic Learning Automata

Optimizing a New Nonlinear Reinforcement Scheme with Breeder genetic algorithm

A new Evolutionary Reinforcement Scheme for Stochastic Learning Automata

An executable model for an Intelligent Vehicle Control System

Generic Reinforcement Schemes and Their Optimization

Algebraic Approach to Implementing an ATL Model Checker

Modeling the Broker Behavior Using a BDI Agent

A new co-mutation genetic operator

Intelligent agents in ontology-based applications

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

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

An AsmL model for an Intelligent Vehicle Control System

Using Ontology in Electronic Evaluation for Personalization of eLearning Systems

Interoperability issues in accessing databases through Web Services

Evaluation of a hybrid method for constructing multiple SVM kernels

An evolutionary method for constructing complex SVM kernels

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

A general frame for building optimal multiple SVM kernels

Generating JADE agents from SDL specifications

CTL Model Update Implementation Using ANTLR Tools

A New Model Checking Tool

An Executable Actor Model in Abstract State Machine Language

Building a Web-bridge for JADE agents

Deliver Dynamic and Interactive Web Content in J2EE Applications

Implementing an ATL Model Checker tool using Relational Algebra concepts

J’aime

Building a new CTL model checker using Web Services