2448 search results - page 128 / 490 » The Octahedron Abstract Domain |
CIARP
2009
Springer
13 years 6 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...
DILS
2009
Springer
13 years 6 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 ...
DSL
2009
13 years 6 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...
GLOBECOM
2009
IEEE
13 years 6 months ago
2009
IEEE
Abstract--Applications using multicast service discovery protocols, such as iTunes, have become increasingly popular. However, multicast service discovery protocols generate signif...
ICAIL
2009
ACM
13 years 6 months ago
2009
ACM
In this paper we discuss how recent developments in argumentation frameworks, most notably Extended Argumentation Frameworks, can inform the representation of a body of case law u...