347 search results - page 42 / 70 » Computable Versions of Basic Theorems in Functional Analysis |
115
click to vote
SAC
2004
ACM
15 years 5 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
83
Voted
FUIN
2010
14 years 10 months ago
2010
Abstract. Current methods for solving games embody a form of “procedural rationality” that invites logical analysis in its own right. This paper is a brief case study of Backwa...
177
click to vote
GIS
2008
ACM
16 years 25 days ago
2008
ACM
Cyberinfrastructure integrates information and communication technologies to enable high-performance, distributed, and collaborative knowledge discovery, and promises to revolutio...
119
click to vote
SCIA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Level set methods are a popular way to solve the image segmentation problem in computer image analysis. A contour is implicitly represented by the zero level of a signed ...
EOR
2008
14 years 11 months ago
2008
We suggest a new heuristic for solving unconstrained continuous optimization problems. It is based on a generalized version of the variable neighborhood search metaheuristic. Diff...