2478 search results - page 343 / 496 » Quadtrees as an Abstract Domain |
199
click to vote
FROCOS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...
185
click to vote
GPCE
2007
Springer
16 years 20 days ago
2007
Springer
Programs of a software product line can be synthesized by composing modules that implement features. Besides high-level domain constraints that govern the compatibility of feature...
177
click to vote
ICCBR
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Creating case representations in unsupervised textual case-based reasoning applications is a challenging task because class knowledge is not available to aid selection of...
163
click to vote
ICCS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. The Southern California Earthquake Center initiated a major largescale earthquake simulation called TeraShake. The simulations propagated seismic waves across a domain of...
180
click to vote
ISVC
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. The proposed work exploits methods and techniques for automatic characterization of images for content-based access to personal photo libraries. Several techniques, even ...