OPAC

A problem has been found

A problem has ocurred in the communication with the server.

Please, try again later. If the problem persists, contact the admin

Your search

Repository: 37 Query: FORMAL LANGUAGES Document Type: Sin Especificar Year: 2017 Language: Inglés

Sort by Score Title Year -

1-6 from 6 results (0.017 seconds)

Title: Calculation of Invariants Assertions
Author: Flaviani, Federico
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Cálculos / invariant assertions / formal program verification / GCL / induction

Acceder
Title: Towards Conceptual Modelling Interoperability in a Web Tool for Ontology Engineering
Author: Braun, Germán / Giménez, Christian / Fillottrani, Pablo Rubén / Cecchi, Laura
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / graphical ontology / Web architecture / crowd architecture

AccederDescargar
Title: MAS2DES-Onto: Ontology for MAS-based Digital Ecosystems
Author: Kidanu, Solomon Asres / Chbeir, Richard / Cardinale, Yudith
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / modelos conceptuales / Agent / Multiagent systems / ontologías

AccederDescargar
Title: Survival of the mutable: architecture of adaptive reactive agents
Author: Stange, Renata Luiza / Cereda, Paulo Roberto M. / Neto, João José
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / classic reactive agent / bio-inspired model / mutability / adaptation

Acceder
Title: Using an Improved Data Structure in Hybrid Memory for Agent-Based Simulation
Author: Gallo, Silvana / Borges, Francisco / De Giusti, Laura Cristina / Naiouf, Marcelo / Suppi, Remo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / parallel and distributed simulation / high performance simulation / hybrid MPI+OpenMP programming / individual-oriented model

Acceder
Title: Approach to define Author Reputation in Web Product Reviews using Artificial Neural Networks
Author: Sá, Carlos Augusto de / Moura, Raimundo S.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / author reputation / artificial neural networks / fuzzy systems

AccederDescargar

« Previous 1 Next »