4403 search results - page 701 / 881 » Galois Theory of Algorithms |
178
click to vote
ISPAN
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper, we have presented the design and evaluation of a compiler system, called APE,for automatic parallelization of scientific and engineering applications on distributed...
206
click to vote
PDIS
1996
IEEE
15 years 11 months ago
1996
IEEE
The World Wide Web is a large, heterogeneous, distributedcollectionof documents connected by hypertext links. The most common technologycurrently used for searching the Web depend...
234
click to vote
SSD
1997
Springer
15 years 11 months ago
1997
Springer
Theory, algorithms, techniques and tools for producing a generalisation of a map have long been available. In this paper we study the inverse problem, namely, given two maps L and...
204
click to vote
ICSE
1993
IEEE-ACM
15 years 11 months ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
187
click to vote
ECCV
1992
Springer
15 years 11 months ago
1992
Springer
Projective distortion of surface texture observed in a perspective image can provide direct information about the shape of the underlying surface. Previous theories have generally...