Mathematical and Engineering Methods in Computer Science

BOOK published 2013 in Lecture Notes in Computer Science

Editors: Antonín Kučera | Thomas A. Henzinger | Jaroslav Nešetřil | Tomáš Vojnar | David Antoš

A Logic Grammar for Circuit Analysis

BOOK CHAPTER published 2007 in Lecture Notes in Computer Science

Authors: Takushi Tanaka

Mathematical and Engineering Methods in Computer Science

BOOK published 2012 in Lecture Notes in Computer Science

Editors: Zdeněk Kotásek | Jan Bouda | Ivana Černá | Lukáš Sekanina | Tomáš Vojnar | David Antoš

Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives

BOOK CHAPTER published 2012 in Mathematical and Engineering Methods in Computer Science

Authors: Krishnendu Chatterjee | Laurent Doyen

Structural Analysis of Mathematical Formulae with Verification Based on Formula Description Grammar

BOOK CHAPTER published 2006 in Document Analysis Systems VII

Authors: Seiichi Toyota | Seiichi Uchida | Masakazu Suzuki

About Engineering Complex Systems: Multiscale Analysis and Evolutionary Engineering

BOOK CHAPTER published 2005 in Engineering Self-Organising Systems

Authors: Yaneer Bar-Yam

Use of Learning Classifier System for Inferring Natural Language Grammar

BOOK CHAPTER published in Lecture Notes in Computer Science

Authors: Olgierd Unold | Grzegorz Dabrowski

A Comparison of Multi-objective Grammar-Guided Genetic Programming Methods to Multiple Instance Learning

BOOK CHAPTER published 2009 in Lecture Notes in Computer Science

Authors: Amelia Zafra | Sebastián Ventura

Model Checking of Biological Systems

BOOK CHAPTER published 2013 in Lecture Notes in Computer Science

Authors: Luboš Brim | Milan Češka | David Šafránek

Eco Models of Distributed Systems

BOOK CHAPTER published 2017 in Future Data and Security Engineering

Authors: Dilawaer Duolikun | Ryo Watanabe | Makoto Takizawa

Mathematical and Engineering Methods in Computer Science

BOOK published 2014 in Lecture Notes in Computer Science

Editors: Petr Hliněný | Zdeněk Dvořák | Jiří Jaroš | Jan Kofroň | Jan Kořenek | Petr Matula | Karel Pala

Quicksort and Large Deviations

BOOK CHAPTER published 2013 in Mathematical and Engineering Methods in Computer Science

Authors: Colin McDiarmid

A Preliminary Examination of Background-Color Effects on the Scores of Computer-Based English Grammar Tests Using Near-Infrared Spectroscopy

BOOK CHAPTER published 2011 in Knowledge-Based and Intelligent Information and Engineering Systems

Authors: Atsuko K. Yamazaki | Kaoru Eto

Speeding Up Multilingual Grammar Development by Exploiting Linked Data to Generate Pre-terminal Rules

BOOK CHAPTER published 2014 in Natural Language Processing and Information Systems

Authors: Sebastian Walter | Christina Unger | Philipp Cimiano

Graph grammar engineering: A method used for the development of an integrated programming support environment

BOOK CHAPTER published 1985 in Formal Methods and Software Development

Authors: G. Engels | W. Schäfer

Cooperating Basic Puzzle Grammar Systems

BOOK CHAPTER published 2006 in Lecture Notes in Computer Science

Authors: K. G. Subramanian | R. Saravanan | P. Helen Chandra

An Enabling Environment for Engineering Cooperative Agents

BOOK CHAPTER published 2001 in Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems

Authors: Soe-Tsyr Yuan

Structural Analysis of Promoter Sequences Using Grammar Inference and Support Vector Machine

BOOK CHAPTER published in Lecture Notes in Computer Science

Authors: Robertas Damaševičius

The Searching Methods of Mobile Agents in Telemedicine System Environments

BOOK CHAPTER published 2005 in Lecture Notes in Computer Science

Authors: Hyuncheol Jeong | Inseob Song

Autonomous Intelligent Systems: Agents and Data Mining

BOOK published 2005 in Lecture Notes in Computer Science

Editors: Vladimir Gorodetsky | Jiming Liu | Victor A. Skormin