6192 search results - page 972 / 1239 » Structure benefits all |
162
click to vote
FUIN
2010
15 years 6 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...
178
click to vote
ICFEM
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
180
click to vote
ICRA
2010
IEEE
15 years 6 months ago
2010
IEEE
Abstract— Insertion velocity, tip asymmetry, and shaft diameter may influence steerable needle insertion paths in soft tissue. In this paper we examine the effects of these vari...
195
click to vote
IGPL
2010
15 years 5 months ago
2010
Researchers studying complex cognition have grown increasingly interested in mapping symbolic cognitive architectures onto subsymbolic brain models. Such a mapping seems essential...
192
click to vote
ISVC
2010
Springer
15 years 5 months ago
2010
Springer
SIFT is one of the most popular algorithms to extract points of interest from images. It is a scale+rotation invariant method. As a consequence, if one compares points of interest ...