Bernd Souvignier

Learn More
In this paper we present technology used in spoken dialog systems for applications of a wide range. They include tasks from the travel domain and automatic switchboards as well as large scale directory assistance. The overall goal in developing spoken dialog systems is to allow for a natural and flexible dialog flow similar to human–human interaction. This(More)
We present new methods to compute the conjugacy classes of elements in a finite permutation group. For groups with a non-trivial soluble radical we lift the classes of the quotient by the radical through elementary abelian layers of it to classes of the full group. This reduces the general case to groups with trivial Fitting subgroup. For groups of thk type(More)
One idea how to prove that a finitely presented group G is infinite is to construct suitable homomorphisms into infinite matrix groups. In [HoP 92] this is done by starting with a finite image H of G and solving linear equations to check whether the epimorphism onto H can be lifted to a representation whose image is an extension of a ZZ-lattice by H, thus(More)
This paper gives classification results for crystallographic groups in dimensions up to 6 which refine earlier enumeration results. Based on the classification data, the asymptotic growth of the number of space-group types is discussed. The classification scheme for crystallographic groups is revisited and a new classification level in between that of(More)