5599 search results - page 898 / 1120 » Abstract State Services |
138
click to vote
ESA
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Possibly the most famous algorithmic meta-theorem is Courcelle's theorem, which states that all MSO-expressible graph properties are decidable in linear time for gra...
141
Voted
GLOBECOM
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract--Energy efficiency is becoming increasingly important for small form factor mobile devices, as battery technology has not kept up with the growing requirements stemming fr...
191
Voted
AAMAS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract In this paper, we present a human-robot teaching framework that uses "virtual" games as a means for adapting a robot to its user through natural interaction in a...
135
Voted
ACTA
2007
15 years 5 months ago
2007
Abstract This paper introduces the notion of well-structured language. A wellstructured language can be defined by a labelled well-structured transition system, equipped with an u...
148
Voted
ALGORITHMICA
2010
15 years 5 months ago
2010
Abstract We consider a variant of the path cover problem, namely, the k-fixedendpoint path cover problem, or kPC for short, on interval graphs. Given a graph G and a subset T of k ...