444 search results - page 78 / 89 » Termination by Abstraction |
ICRA
2010
IEEE
13 years 6 months ago
2010
IEEE
Abstract— Most large-scale public environments provide direction signs to facilitate the orientation for humans and to find their way to a goal location in the environment. Thus...
TCOM
2010
13 years 6 months ago
2010
Abstract—To gradually expand their networks, operators deploy new xDSL technologies from remote terminals (RT’s) closer to the customer. However, since xDSL lines deployed from...
WDAG
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Since in general it is NP-hard to solve the minimum dominating set problem even approximatively, a lot of work has been dedicated to central and distributed approximation...
WRLA
2010
13 years 6 months ago
2010
For a rewrite theory to be executable, its equations E should be (ground) confluent and terminating modulo the given axioms A, and their rules should be (ground) coherent with E m...
JELIA
2010
Springer
13 years 5 months ago
2010
Springer
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...