8009 search results - page 173 / 1602 » cans 2005 |
170
click to vote
RTA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. This paper shows that the suitable orderings for proving innermost termination are characterized by the innermost parallel monotonicity, IP-monotonicity for short. This p...
174
click to vote
RULEML
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...
186
click to vote
SACRYPT
2005
Springer
15 years 12 months ago
2005
Springer
We present two left-to-right integer recodings which can be used to perform scalar multiplication with a fixed sequence of operations. These recodings make it possible to have a s...
143
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
The paper presents a framework for introducing design patterns that facilitate or improve the techniques used during ontology lifecycle. Some distinctions are drawn between kinds o...
159
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
We show how state-of-the-art Semantic Web technology can be used in e-Science, in particular to automate the classification of proteins in biology. We show that the resulting clas...