21342 search results - page 4012 / 4269 » A Structured Language Model |
EPIA
1999
Springer
15 years 6 months ago
1999
Springer
YapOr is an or-parallel system that extends the Yap Prolog system to exploit implicit or-parallelism in Prolog programs. It is based on the environment copying model, as first imp...
128
click to vote
FPGA
1999
ACM
15 years 6 months ago
1999
ACM
Multi-FPGA systems are used as custom computing machines to solve compute intensive problems and also in the verification and prototyping of large circuits. In this paper, we addr...
100
Voted
TPHOL
1999
IEEE
15 years 6 months ago
1999
IEEE
The standard versions of HOL only support disjoint sums over finite families of types. This paper introduces disjoint sums over type classes containing possibly a countably infinit...
155
Voted
VISUALIZATION
1999
IEEE
15 years 6 months ago
1999
IEEE
With the development of magnetic resonance imaging techniques for acquiring diffusion tensor data from biological tissue, visualization of tensor data has become a new research fo...
116
click to vote
VISUALIZATION
1999
IEEE
15 years 6 months ago
1999
IEEE
Visualization of topological information of a vector field can provide useful information on the structure of the field. However, in turbulent flows standard critical point visual...