2478 search results - page 253 / 496 » Quadtrees as an Abstract Domain |
158
click to vote
AIME
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes an integrated system to support medical consultations, in particular low vision consultation. In emerging domains where the population is reduced (su...
174
click to vote
EUROCAST
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper introduces a higher-order lazy narrowing calculus (HOLN for short) that solves higher-order equations over the domain of simply typed λ-terms. HOLN is an exte...
185
Voted
EUROPAR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper describes a software architecture that allows image processing researchers to develop parallel applications in a transparent manner. The architecture’s main ...
152
Voted
ICES
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Evolutionary methods are now beginning to be used routinely in design applications. However, even with computing speeds growing continuously, for many complex design prob...
157
click to vote
IEAAIE
2001
Springer
15 years 11 months ago
2001
Springer
: This paper describes a knowledge model for a configuration problem in the domain of traffic control. The goal of this model is to help traffic engineers in the dynamic selection ...