1996 search results - page 292 / 400 » A decision procedure for linear |
153
click to vote
GIS
1998
ACM
15 years 10 months ago
1998
ACM
We apply an advancing front technique to the problem of simplification of dense digitized terrain models. While most simplification algorithms have been based on either incrementa...
137
click to vote
FOCS
1997
IEEE
15 years 10 months ago
1997
IEEE
We consider the problem of deciding whether a polygonal knot in 3dimensional Euclidean space is unknotted, capable of being continuously deformed without self-intersection so that...
175
click to vote
ICMCS
1997
IEEE
15 years 10 months ago
1997
IEEE
Quality of Service (QoS) management becomes more and more important, especially in networks where many applications are competing for a limited number of resources. As these appli...
160
click to vote
MICRO
1997
IEEE
15 years 10 months ago
1997
IEEE
Predicated execution is a promising architectural feature for exploiting instruction-level parallelism in the presence of control flow. Compiling for predicated execution involve...
150
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
Improv is a system for the creation of real-time behavior-based animated actors. There have been several recent efforts to build network distributed autonomous agents. But in gene...