4911 search results - page 46 / 983 » Tree dependence analysis |
CADE
2009
Springer
14 years 11 months ago
2009
Springer
Current techniques and tools for automated termination analysis of term rewrite systems (TRSs) are already very powerful. However, they fail for algorithms whose termination is ess...
FLAIRS
2008
14 years 22 days ago
2008
There are a lot of approaches for solving planning problems. Many of these approaches are based on `brute force` search methods and do not care about structures of plans previousl...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— In this paper we introduce an analysis of dependability of an elementary yet critical component of robotic systems designed to operate in environments shared with human...
ACII
2007
Springer
14 years 4 months ago
2007
Springer
Text is not only an important medium to describe facts and events, but also to effectively communicate information about the writer’s (positive or negative) sentiment underlying ...
HASE
1999
IEEE
14 years 2 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...