154 search results - page 27 / 31 » Formal Verification of Exact Computations Using Newton's Met... |
BIRTHDAY
2005
Springer
15 years 3 months ago
2005
Springer
abstract. In this paper we investigate a formalism for solving planning problems based on ordered task decomposition using Answer Set Programming (ASP). Our planning methodology is...
114
click to vote
APSCC
2008
IEEE
14 years 11 months ago
2008
IEEE
Monitors have been used for real-time systems to ensure proper behavior; however, most approaches do not allow for the addition of relevant fields required to identify and react t...
100
click to vote
LCPC
2009
Springer
15 years 2 months ago
2009
Springer
This paper improves our previous research effort [1] by providing an efficient method for kernel loop unrolling minimisation in the case of already scheduled loops, where circular...
WWW
2007
ACM
15 years 10 months ago
2007
ACM
Discovering mappings between concept hierarchies is widely regarded as one of the hardest and most urgent problems facing the Semantic Web. The problem is even harder in domains w...
HT
2005
ACM
15 years 3 months ago
2005
ACM
Conversion between different adaptive hypermedia systems has barely been proposed, yet alone tested in realistic settings. This paper presents the evaluation of the interoperabili...