Sciweavers

2444 search results - page 171 / 489
» Feature Construction for Back-Propagation
Sort
View
MVA
1990
137views Computer Vision» more  MVA 1990»
15 years 7 months ago
Relaxation Based Modeling and Recognition of 3D Surfaces from Range Data
Modeling and recognition of 3D objects by surface is an important problem in machine vision. Given a large number of range data points of an object surface, we present a relaxatio...
Chang Y. Choo, Nasser M. Nasrabadi, William I. Kwa...
ANOR
2007
80views more  ANOR 2007»
15 years 6 months ago
Branch and bound, integer, and non-integer programming
In this note we review the development of the first commercial branch and bound codes at CEIR/Scicon, with particular emphasis on those features not commonly emphasized today - t...
John J. H. Forrest, John A. Tomlin
ECEASST
2006
72views more  ECEASST 2006»
15 years 6 months ago
ENFORCe: A System for Ensuring Formal Correctness of High-level Programs
Graph programs allow a visual description of programs on graphs and graph-like structures. The correctness of a graph program with respect to a pre- and a postcondition can be show...
Karl Azab, Annegret Habel, Karl-Heinz Pennemann, C...
SIGPLAN
2008
15 years 6 months ago
Languages and performance engineering: method, instrumentation, and pedagogy
Programs encounter increasingly complex and fragile mappings to computing platforms, resulting in performance characteristics that are often mysterious to students, practitioners,...
Doug Lea, David F. Bacon, David Grove
SIGPLAN
2008
15 years 6 months ago
Teaching programming languages in a post-linnaean age
Programming language "paradigms" are a moribund and tedious legacy of a bygone age. Modern language designers pay them no respect, so why do our courses slavishly adhere...
Shriram Krishnamurthi