Sciweavers

2440 search results - page 174 / 488
» Explanation-Based Feature Construction
Sort
View
WSC
1997
15 years 6 months ago
Modeling Compressed Full-Motion Video
This paper presents a general approach to modeling VBR (variable bit rate) compressed full-motion video. The salient feature of such video is the existence of scenes. Scene struct...
Benjamin Melamed
AAAI
1993
15 years 6 months ago
Model Simplification by Asymptotic Order of Magnitude Reasoning
One of the hardest problems in reasoning about a physical system is finding an approximate model that is mathematically tractable and yet captures the essence of the problem. Appr...
Kenneth Man-kam Yip
MVA
1990
137views Computer Vision» more  MVA 1990»
15 years 5 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 4 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 4 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...