In this paper, we describe a first prototype of a pattern-based analyzer developed in the context of a speech-to-speech translation project using a pivot-based approach (the pivot...
Abstract— This paper deals with a discret-time control approach, proposed for the control of a five-link, four-actuator planar biped walker. The approach is based on the choice ...
We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, ...
In a recent article in Artificial Life, Chu and Ho suggested that Rosen’s central result about the simulability of living systems might be flawed. This argument was later declare...
The permanent-determinant method and its generalization, the HafnianPfaffian method, are methods to enumerate perfect matchings of plane graphs that were discovered by P. W. Kaste...