1129 search results - page 120 / 226 » Modular Ranking Abstraction |
110
click to vote
ASAP
2007
IEEE
15 years 5 months ago
2007
IEEE
Abstract— The problem of calculating accurate dose distributions lies in the heart of modern radiation therapy for cancer treatment. Software implementations of dose calculation ...
114
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
123
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
Abstract. The dependency pair technique is a powerful modular method for automated termination proofs of term rewrite systems. We first show that dependency pairs are also suitabl...
140
click to vote
OWLED
2008
15 years 4 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...
184
click to vote
BXML
2004
15 years 4 months ago
2004
Abstract: Engineering personalized ubiquitous Web applications requires to develop adaptable Web content as well as to automatically adjust it to varying client devices and dynamic...