118
Voted
LATIN
2016
Springer
9 years 11 months ago
2016
Springer
A graph G is called a block graph if each maximal 2-connected component of G is a clique. In this paper we study the Block Graph Vertex Deletion from the perspective of fixed para...
129
Voted
LATA
2016
Springer
9 years 11 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...
143
Voted
LATA
2016
Springer
9 years 11 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...
128
Voted
LATA
2016
Springer
9 years 11 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...
208
Voted
LATA
2016
Springer
9 years 11 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. ...
234
Voted
KI
2016
Springer
9 years 11 months ago
2016
Springer
ing Start Indexing and ing Stop Full Text Start Full Text Stop Country State/Province City
140
Voted
KI
2016
Springer
9 years 11 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...
120
Voted
KI
2016
Springer
9 years 11 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-...
111
Voted
KI
2016
Springer
9 years 11 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...
106
Voted
KI
2016
Springer
9 years 11 months ago
2016
Springer
Title of dissertation: SEARCH COMPLEXITIES FOR HTN PLANNING Ronald Alford, Doctor of Philosophy, 2013 Dissertation directed by: Professor Dana Nau Department of Computer Science H...