5864 search results - page 67 / 1173 » Can We Work around Numerical Methods |
131
click to vote
MICCAI
2001
Springer
15 years 8 months ago
2001
Springer
Extended Abstract: We are exploring new techniques for active contour models (popularly known as “snakes”[1]) by combining active segmentation models with the constrained impli...
142
Voted
ALMOB
2006
15 years 4 months ago
2006
Background: Automated software tools for multiple alignment often fail to produce biologically meaningful results. In such situations, expert knowledge can help to improve the qua...
212
click to vote
ARC
2012
Springer
13 years 11 months ago
2012
Springer
Iterative numerical algorithms with high memory bandwidth requirements but medium-size data sets (matrix size ∼ a few 100s) are highly appropriate for FPGA acceleration. This pap...
132
Voted
AIPS
2006
15 years 5 months ago
2006
In AI Planning, as well as Verification, a successful method is to compile the application into boolean satisfiability (SAT), and solve it with state-of-the-art DPLL-based procedu...
132
click to vote
ANOR
2004
15 years 3 months ago
2004
We present an iterative cutting plane method for minimizing staffing costs in a service system subject to satisfying acceptable service level requirements over multiple time perio...