2478 search results - page 22 / 496 » Quadtrees as an Abstract Domain |
STACS
1990
Springer
13 years 12 months ago
1990
Springer
nce abstract) GAUTAM DAS - University of Wisconsin DEBORAH JOSEPH - University of Wisconsin
CORR
2000
Springer
13 years 7 months ago
2000
Springer
-BASED ABSTRACT INTERPRETATION OF PROLOG1 BAUDOUIN LE CHARLIER, SABINA ROSSI, AND PASCAL VAN HENTENRYCK . Abstract interpretation is a general methodology for systematic developmen...
IMECS
2007
13 years 9 months ago
2007
ice Integration Based on Abstract Forms in XML for End-user Initiative Development Takeshi Chusho, Ryousuke Yuasa, Shinpei Nishida and Katsuya Fujiwara ∗ Abstract— The number o...
DCC
2000
IEEE
14 years 9 days ago
2000
IEEE
This paper contains two contributions to very-low-bitrate video coding. First, we show that in contrast to common practice incremental techniques for rate-distortion optimization ...
GECCO
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Recently, a minimal domain dubbed the numbers game has been proposed to illustrate well-known issues in co-evolutionary dynamics. The domain