6562 search results - page 1035 / 1313 » Noetherianity and Combination Problems |
171
click to vote
ISCAS
1999
IEEE
15 years 11 months ago
1999
IEEE
High-level power design presents a complex, multiobjective problem that involves the simultaneous optimisation of competing criteria such as speed, area and power. It is difficult...
212
click to vote
IV
1999
IEEE
15 years 11 months ago
1999
IEEE
Existing featureless image mosaicing techniques do not pay enough attention to the robustness of the image registration process, and are not able to combine multiple video sequenc...
186
click to vote
LICS
1999
IEEE
15 years 11 months ago
1999
IEEE
We consider type systems that combine universal types, recursive types, and object types. We study type inference in these systems under a rank restriction, following Leivant'...
164
click to vote
EUROPAR
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper presents DAOS, a model for exploitation of Andand Or-parallelism in logic programs. DAOS assumes a physically distributed memory environment and a logically sh...
176
click to vote
SRDS
1999
IEEE
15 years 11 months ago
1999
IEEE
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...