BIRD FLU: NEW OUTBREAKS BUT AN OLD PROBLEM FOR INTENSIVE EUROPEAN POULTRY





Implicit Real Vector Automata

This paper addresses the symbolic representation of non-convex here real polyhedra, i.e., sets of real vectors satisfying arbitrary Boolean combinations of linear constraints.We develop an original data structure for representing such sets, based on an implicit and concise encoding of a known structure, the Real Vector Automaton.The resulting forma

read more