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 Language: Inglés Document Type: Sin Especificar Year: 2012

Sort by Score Title Year -

71-80 from 130 results (0.014 seconds)

Title: Parallel cellular programming skeleton
Author: Saez, Fernando / Printista, Alicia Marcela
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Unbounded-action devices (e.g., cellular automata, circuits, networks of machines) / Parallel Architectures / skeletal programming / cellular automata / parallelism

Acceder
Title: Propositional Satisfiability (SAT) as a language problem
Author: Castaño, Rodrigo / Castaño, José M.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ALL-SAT / model counting / FSA intersection / regular expression compilation / Non-clausal formula / clause learning

Acceder
Title: Practical verification strategy for refinement conditions in UML models
Author: Pons, Claudia / García, Diego
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / UML models / Verification / Language models

Acceder
Title: Applying software engineering techniques to the development of robotic systems
Author: Pons, Claudia / Arévalo, Gabriela Beatriz / Zabala, Gonzalo / Morán, Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software / Robotics

Acceder
Title: A meshing tool product line architecture
Author: Bastarrica, María Cecilia
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / Software Architectures

Acceder
Title: Introducing probabilistic reasoning in defeasible argumentation using labeled deductive systems
Author: Chesñevar, Carlos Iván / Simari, Guillermo Ricardo
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Introducing Probabilistic Reasoning / Defeasible Argumentation / Labeled Deductive Systems

Acceder
Title: Agent planning, models, virtual haptic computing, and visual ontology
Author: Nourani, Cyrus F.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / multiagent visual computing / visual intelligent objects

Acceder
Title: An extended set of interaction primitives for multi-agent systems development
Author: Tucat, Mariano / García, Alejandro Javier
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / ARTIFICIAL INTELLIGENCE / Multiagent systems / Systems development / interaction primitives / extended set / development

Acceder
Title: Coastal monitoring and feature estimation with small format cameras: application to the shoreline of Monte Hermoso, Argentina
Author: Revollo Sarmiento, Natalia / Delrieux, Claudio / Perillo, Gerardo M. E. / Cipolletti, Marina P.
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / image and video processing / environmental monitoring / reprojection, segmentation, and feature extraction algorithms / Procesamiento de Imagen Asistida por Computador / Algorithms / Monitoreo del Ambiente

Acceder
Title: Can Common Sense uncover cultural differences in computer applications?
Author: Anacleto, Junia / Lieberman, Henry / Tsutsumi, Marie / Neris, Vânia / Carvalho, Aparecido / Godoi, Muriel / Zem- Mascarenhas, Silvia / Espinosa, Jose
Language: Inglés
Repository: 37
Subject: Ciencias Informáticas / software / Diversidad Cultural

Acceder

« Previous 4 5 6 7 8 9 10 11 12 Next »