Abstract. We propose a new method to generate unfolded area preserving representations of the cerebral cortex. The cortical surface is evolved with an application-specific normal m...
Jean-Philippe Pons, Renaud Keriven, Olivier D. Fau...
We introduce a language for the representation of a subset of strategic interactions. The representation is based on petri nets. Representable games are restricted to have a fini...
— We present a novel algorithm for motion planning of multiple robots amongst dynamic obstacles. Our approach is based on a new roadmap representation that uses deformable links ...
Russell Gayle, Avneesh Sud, Ming C. Lin, Dinesh Ma...
The concept of a partial derangement is introduced and a versatile representation of partial derangements is proposed with permutations and derangements as special cases. The repre...
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...