17543 search results - page 3257 / 3509 » Stochastic Optimization Algorithms |
158
click to vote
MICCAI
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. An N-dimensional image is divided into "object" and "background" segments using a graph cut approach. A graph is formed by connecting all pairs of nei...
185
click to vote
CAV
1997
Springer
15 years 10 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
177
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
We present simulations and performance results of nuclear burning fronts in supernovae on the largest domain and at the finest spatial resolution studied to date. These simulation...
181
click to vote
SIGCOMM
2000
ACM
15 years 10 months ago
2000
ACM
Routers must do a best matching pre x lookup for every packet solutions for Gigabit speeds are well known. As Internet link speeds higher, we seek a scalable solution whose speed ...
184
click to vote
FPGA
1995
ACM
15 years 10 months ago
1995
ACM
Routing FPGAs is a challenging problem because of the relative scarcity of routing resources, both wires and connection points. This can lead either to slow implementations caused...