This work considers a parsing algorithm for implementing ATN-based natural language interfaces. That algorithm has many practical improvements compared to other parsing algorithms. Resolution of syntax ambiguity , programming facilities and post execution of semantic actions are some of the features included too. The algorithm was implemented in order to design a software tool to automatically ...

The continuously growing of cellular net complexity, that followed the introduction of UMTS technology, has reduced the usefulness of traditional design tools, making them quite unworthy. The purpose of this paper is to illustrate a design tool for UMTS optimized net planning based on genetic algorithms. In particular, some utilities for 3G net designers, useful to respect important aspects (su...

Reviewer 3 also suggested to add a sentence that should encourage readers to cite the paper when using MRmap. After further internal discussions, we believe that this might be seen as a manipulation of the reader, who should be left to decide for himself which sources he would like to cite. Moreover, people who are reading the paper know about it already and might cite it if appropriate anyway....

Recent study of cell lineage of multi-cellular organism such as C. elegans shows us that cell-cell interaction and localization of gene products take very important role in the development of early embryo [3]. In order to describe such multi-cellular processes, we extend the software tool Genomic Object Net [2, 4] in which we enhanced the hybrid parametrized functional Petri net (HPFPN) model t...

In this paper we describe an algorithm for the analysis of termination of a large set of triggers in an OODBMS. It is quite clear that, if the trigger mechanism is of suucient complexity, the problem is undecidable. Yet, by the extensive use of object-oriented concepts, like derived classes, and lattice theory, we are able to give some suucient conditions for termination which yield satisfying ...

This paper describes how to construct complex performability models in the context of the software tool Moebius, by hierarchically composing small submodels. In addition to Moebius’ “Join” operator, a second composition operator “Sync” is introduced, and it is shown how both types of composition can be realised on the basis of symbolic, i.e. BDD-based data structures.

In this paper we describe the design of SeekSeer, a new software tool for gathering qualitative data on how people look for information. We posit that a general misunderstanding of how users look for information is the core issue that plagues the current design methodology for information retrieval systems and interfaces and diminishes chances for widespread acceptance of new products. Past att...

Innovative tool manufacture is rare and hard to isolate in animals. We show that an Indonesian generalist parrot, the Goffin's cockatoo, can flexibly and spontaneously transfer the manufacture of stick-type tools across three different materials. Each material required different manipulation patterns, including substrates that required active sculpting for achieving a functional, elongated shape.

Reconfigurable manufacturing systems (RMS) address challenges in modern manufacturing systems arising from product variety and from rapid changes in product demand. This paper considers an arch-type reconfigurable machine tool (RMT) that has been built to demonstrate the basic concepts of RMT design. The arch-type RMT was designed to achieve customized flexibility and includes a passive degree-...