2451 search results - page 424 / 491 » The Octagon Abstract Domain |
112
Voted
SEMWEB
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Conceptual modelling tools allow users to construct formal representations of their conceptualisations. These models are typically developed in isolation, unrelated to ot...
160
Voted
SOCIALCOM
2010
14 years 10 months ago
2010
Abstract--In both the commercial and defense sectors a compelling need is emerging for rapid, yet secure, dissemination of information. In this paper we address the threat of infor...
138
Voted
CIARP
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Parallel texts are enriched by alignment algorithms, thus establishing a relationship between the structures of the implied languages. Depending on the alignment level, t...
152
click to vote
DILS
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Success in the life sciences depends on access to information in knowledge bases and literature. Finding and extracting the relevant information depends on a user's ...
110
click to vote
DSL
2009
14 years 10 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...