171
click to vote
LATIN
2016
Springer
10 years 3 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...
173
click to vote
LATA
2016
Springer
10 years 3 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...
186
click to vote
LATA
2016
Springer
10 years 3 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...
170
click to vote
LATA
2016
Springer
10 years 3 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...
270
click to vote
LATA
2016
Springer
10 years 3 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. ...
314
click to vote
KI
2016
Springer
10 years 3 months ago
2016
Springer
ing Start Indexing and ing Stop Full Text Start Full Text Stop Country State/Province City
189
click to vote
KI
2016
Springer
10 years 3 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...
175
click to vote
KI
2016
Springer
10 years 3 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-...
157
click to vote
KI
2016
Springer
10 years 3 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...
157
click to vote
KI
2016
Springer
10 years 3 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...