2555 search results - page 410 / 511 » Quantifiers and Working Memory |
150
Voted
SIGGRAPH
1999
ACM
15 years 8 months ago
1999
ACM
We present a texturing method that correctly maps homogeneous non-periodic textures to arbitrary surfaces without any of the difficulties usually encountered using existing tools...
153
Voted
ICPP
1999
IEEE
15 years 8 months ago
1999
IEEE
There has been much work recently on improving the locality performance of loop nests in scientific programs through the use of loop as well as data layout optimizations. However,...
144
click to vote
DAWAK
1999
Springer
15 years 8 months ago
1999
Springer
Efficient index construction in multidimensional data spaces is important for many knowledge discovery algorithms, because construction times typically must be amortized by perform...
100
Voted
EPIA
1999
Springer
15 years 8 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...
130
click to vote
DATE
1998
IEEE
15 years 8 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...