Partner

2 hits in 0.006 sec.

Pervasive verification of distributed real-time systems [Score: 100%]
Author / Editor: Knapp, Steffen; Paul, Wolfgang J. |  Place of publication: Amsterdam [u.a.] |  Publisher: IOS Press |  Year of Publication: 2007 | 59 s.
Journal / Series / Collection: Software system reliability and security
Subject Area: Informatik
Natural and intuitive multimodal dialogue for in-car applications : the SAMMIE system [Score: 100%]
Author / Editor: Becker, Tilman; Pinkal, Manfred |  Place of publication: Amsterdam [u.a.] |  Publisher: IOS Press |  Year of Publication: 2006 | 5 s.
Journal / Series / Collection: ECAI 2006
Subject Area: Informatik; Allgemeine und vergleichende Sprach- und Literaturwissenschaft. Indogermanistik. Außereuropäische Sprachen und Literaturen