LFCS
2016
Springer
8 years 7 months ago
2016
Springer
LFCS
2016
Springer
8 years 7 months ago
2016
Springer
Abstract. We present a soundness theorem for a dependent type theory with context conith respect to an indexed category of (finite, abstract) simplical complexes. The point of int...
LATA
2016
Springer
8 years 7 months ago
2016
Springer
Abstract. We study a subclass of tree-to-word transducers: linear treeto-word transducers, that cannot use several copies of the input. We aim to study the equivalence problem on t...
LATA
2016
Springer
8 years 7 months ago
2016
Springer
Abstract. Finding minimal separating sequences for all pairs of inequivalent states in a finite state machine is a classic problem in automata theory. Sets of minimal separating s...
LATA
2016
Springer
8 years 7 months ago
2016
Springer
Two of the most celebrated results that effectively exploit visual representation to give logical characterization and decidable modelchecking include visibly pushdown automata (V...
LATA
2016
Springer
8 years 7 months ago
2016
Springer
Capacitated automata (CAs) have been recently introduced in [8] as a variant of finite-state automata in which each transition is associated with a (possibly infinite) capacity. ...
KI
2016
Springer
8 years 7 months ago
2016
Springer
ing Start Indexing and ing Stop Full Text Start Full Text Stop Country State/Province City
KI
2016
Springer
8 years 7 months ago
2016
Springer
Abstract We introduce the Transregional Collaborative Research Centre “Companion-Technology for Cognitive Technical Systems” – a cross-disciplinary endeavor towards the devel...
KI
2016
Springer
8 years 7 months ago
2016
Springer
Companion-technology is an emerging field of cross-disciplinary research. It aims at developing technical systems that appear as “Companions” to their users. They serve as co-...
KI
2016
Springer
8 years 7 months ago
2016
Springer
This article deals with a novel multi-screen interactive TV setup (smarTVision) and its enhancement through Companion-Technology. Due to their flexibility and the variety of inter...