2451 search results - page 424 / 491 » The Octagon Abstract Domain |
140
Voted
SEMWEB
2010
Springer
15 years 1 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...
181
Voted
SOCIALCOM
2010
15 years 1 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...
164
Voted
CIARP
2009
Springer
15 years 1 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...
185
Voted
DILS
2009
Springer
15 years 1 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 ...
135
Voted
DSL
2009
15 years 1 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...