2478 search results - page 425 / 496 » Quadtrees as an Abstract Domain |
DSL
2009
13 years 7 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 7 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 7 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...
ICRA
2009
IEEE
13 years 7 months ago
2009
IEEE
Abstract-- Existing high-dimensional motion planning algorithms are simultaneously overpowered and underpowered. In domains sparsely populated by obstacles, the heuristics used by ...
ICSE
2009
IEEE-ACM
13 years 7 months ago
2009
IEEE-ACM
Abstract--Security evaluation according to ISO 15408 (Common Criteria) is a resource and time demanding activity, as well as being costly. For this reason, only few companies take ...