Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
Graph grammars combine the relational aspect of graphs with the iterative and recursive aspects of string grammars, and thus represent an important next step in our ability to dis...
Jacek P. Kukluk, Lawrence B. Holder, Diane J. Cook
Systems which use a fuzzy rule base and an inference mechanisms are quite frequently used in many applications. Fuzzy rules and inference mechanisms can be described by a system o...
Martin Stepnicka, Bernard De Baets, Lenka Noskov&a...
Using tools from discrete dynamical systems theory, we begin a systematic analysis of a distributed model of leg coordination with both biological and robotic applications. In this...
Sponsored search is one of the enabling technologies for today's Web search engines. It corresponds to matching and showing ads related to the user query on the search engine...