2061 search results - page 286 / 413 » The continuous knapsack set |
PEPM
1998
ACM
15 years 2 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
CHI
1997
ACM
15 years 2 months ago
1997
ACM
We describe the design, implementation, and pilot study for SenseMaker, an interface for information exploration across heterogeneous sources. We propose supporting the contextdri...
DAGM
1997
Springer
15 years 2 months ago
1997
Springer
A novel approach to the computation of an approximate estimate of spatial object pose from camera images is proposed. The method is based on a neural network that generates pose hy...
101
click to vote
ISMIS
1997
Springer
15 years 2 months ago
1997
Springer
e about image features can be expressed as a hierarchical structure called a Type Abstraction Hierarchy (TAH). TAHs can be generated automatically by clustering algorithms based on...
SIGGRAPH
1996
ACM
15 years 2 months ago
1996
ACM
Improv is a system for the creation of real-time behavior-based animated actors. There have been several recent efforts to build network distributed autonomous agents. But in gene...