13383 search results - page 2493 / 2677 » Abstractions from proofs |
SEMWEB
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. The Semantic Web fosters novel applications targeting a more efficient and satisfying exploitation of the data available on the web, e.g. faceted browsing of linked open...
SEMWEB
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Currently a large number of Web sites are driven by Content Management Systems (CMS) which manage textual and multimedia content but also inherently - carry valuable info...
SLS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. In this paper, a real-life routing and scheduling problem encountered is addressed. The problem, which consists in optimizing the delivery of fluids by tank trucks on a ...
UM
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. Words mean different things to different people, and capturing these differences is often a subtle art. These differences are often “a matter of perspective,” and...
APLAS
2009
ACM
14 years 5 months ago
2009
ACM
Abstract. Context-sensitive points-to analysis is critical for several program optimizations. However, as the number of contexts grows exponentially, storage requirements for the a...