4761 search results - page 265 / 953 » Generalizing Boundary Points |
155
click to vote
ISSS
1998
IEEE
15 years 10 months ago
1998
IEEE
Commonly used scheduling algorithms in high-level synthesis are not capable of sharing resources across process boundaries. This results in the usage of at least one resource per ...
149
click to vote
SMA
1997
ACM
15 years 10 months ago
1997
ACM
Much of recent research in representation schemes for solid modeling was focused on the extension of boundary representations to support non-manifold topologies. We introduce here...
159
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
187
click to vote
CGI
2001
IEEE
15 years 9 months ago
2001
IEEE
We present a hardware-accelerated method for rendering high quality, antialiased shadows using the shadow map approach. Instead of relying on dedicated hardware support for shadow...
153
click to vote
GIS
2000
ACM
15 years 9 months ago
2000
ACM
Uncertainty management for geometric data is currently an important problem for (extensible) databases in general and for spatial databases, image databases, and GIS in particular...