689 search results - page 30 / 138 » The multithreaded version of FORM |
AISC
2010
Springer
14 years 18 days ago
2010
Springer
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
EP
1998
Springer
14 years 7 hour ago
1998
Springer
We report on the design and implementation of a system which automates the process of capturing structured documents from the optically recognized form of printed materials. The sy...
DATESO
2007
13 years 9 months ago
2007
The Burrows-Wheeler Transform (BWT) is a compression method which reorders an input string into the form, which is preferable to another compression. Usually Move-To-Front transfor...
IWMMDBMS
1996
13 years 9 months ago
1996
The maintenance of large raster images under spatial operations is still a major performance bottleneck. For reasons of storage space, images in a collection, such as satellite pi...
CMA
2010
13 years 5 months ago
2010
In this paper, we present an impulsive version of Filippov's Theorem for fractional differential inclusions of the form: D y(t) F(t, y(t)), a.e. t J\{t1, . . . , tm}, (1,...