417 search results - page 81 / 84 » Orderings for Innermost Termination |
IJCAI
2003
13 years 8 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
IJCAI
1993
13 years 8 months ago
1993
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
ATAL
2010
Springer
13 years 7 months ago
2010
Springer
Despite the recent advances in planning with MDPs, the problem of generating good policies is still hard. This paper describes a way to generate policies in MDPs by (1) determiniz...
ENGL
2008
13 years 7 months ago
2008
We describe the growth of aluminum oxide (AlOx) on strong hydrophobic surfaces that consist of CH3-terminated self-assembled monolayers (CH3-SAMs) by utilizing atomic layer deposit...
CEE
2007
13 years 7 months ago
2007
It is a challenge to implement large word length public-key algorithms on embedded systems. Examples are smartcards, RF-ID tags and mobile terminals. This paper presents a HW/SW c...