infopapers

0 Seguidores

30 SlideShares

antlr relational algebra web services atl model checking sql

Ver mais

Atividades
Sobre

A Distributed CTL Model Checker

Há 9 anos • 492 Visualizações

A new Reinforcement Scheme for Stochastic Learning Automata

Há 9 anos • 353 Visualizações

Building a new CTL model checker using Web Services

Há 9 anos • 423 Visualizações

Using the Breeder GA to Optimize a Multiple Regression Analysis Model

Há 9 anos • 468 Visualizações

Automatic control based on Wasp Behavioral Model and Stochastic Learning Automata

Há 9 anos • 619 Visualizações

A New Nonlinear Reinforcement Scheme for Stochastic Learning Automata

Há 9 anos • 266 Visualizações

Optimizing a New Nonlinear Reinforcement Scheme with Breeder genetic algorithm

Há 9 anos • 171 Visualizações

A new Evolutionary Reinforcement Scheme for Stochastic Learning Automata

Há 9 anos • 284 Visualizações

An executable model for an Intelligent Vehicle Control System

Há 9 anos • 672 Visualizações

Generic Reinforcement Schemes and Their Optimization

Há 9 anos • 219 Visualizações

Algebraic Approach to Implementing an ATL Model Checker

Há 9 anos • 294 Visualizações

Modeling the Broker Behavior Using a BDI Agent

Há 9 anos • 368 Visualizações

A new co-mutation genetic operator

Há 9 anos • 405 Visualizações

Intelligent agents in ontology-based applications

Há 9 anos • 401 Visualizações

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

Há 9 anos • 252 Visualizações

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

Há 9 anos • 290 Visualizações

An AsmL model for an Intelligent Vehicle Control System

Há 9 anos • 304 Visualizações

Using Ontology in Electronic Evaluation for Personalization of eLearning Systems

Há 9 anos • 386 Visualizações

Interoperability issues in accessing databases through Web Services

Há 9 anos • 326 Visualizações

Evaluation of a hybrid method for constructing multiple SVM kernels

Há 9 anos • 331 Visualizações

An evolutionary method for constructing complex SVM kernels

Há 9 anos • 263 Visualizações

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

Há 9 anos • 309 Visualizações

A general frame for building optimal multiple SVM kernels

Há 9 anos • 230 Visualizações

Generating JADE agents from SDL specifications

Há 9 anos • 545 Visualizações

CTL Model Update Implementation Using ANTLR Tools

Há 9 anos • 440 Visualizações

A New Model Checking Tool

Há 9 anos • 261 Visualizações

An Executable Actor Model in Abstract State Machine Language

Há 9 anos • 434 Visualizações

Building a Web-bridge for JADE agents

Há 9 anos • 388 Visualizações

Deliver Dynamic and Interactive Web Content in J2EE Applications

Há 9 anos • 305 Visualizações

Implementing an ATL Model Checker tool using Relational Algebra concepts

Há 9 anos • 474 Visualizações

Building a new CTL model checker using Web Services

infopapers • Há 9 anos

antlr relational algebra web services atl model checking sql

Ver mais

infopapers

Documentos

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

Gostaram

Building a new CTL model checker using Web Services