Sciweavers

1806 search results - page 237 / 362
» Some Functions Computable with a Fused-Mac
Sort
View
DGCI
2003
Springer
15 years 11 months ago
Geodesic Object Representation and Recognition
This paper describes a shape signature that captures the intrinsic geometric structure of 3D objects. The primary motivation of the proposed approach is to encode a 3D shape into a...
A. Ben Hamza, Hamid Krim
CDC
2009
IEEE
157views Control Systems» more  CDC 2009»
15 years 10 months ago
On trajectory optimization for active sensing in Gaussian process models
Abstract— We consider the problem of optimizing the trajectory of a mobile sensor with perfect localization whose task is to estimate a stochastic, perhaps multidimensional fiel...
Jerome Le Ny, George J. Pappas
CHI
1999
ACM
15 years 10 months ago
A Visual Medium for Programmatic Control of Interactive Applications
The VisMap system provides for “visual manipulation” of arbitrary off-the-shelf applications, through an application’s graphical user interface. VisMap’s API-independent c...
Luke S. Zettlemoyer, Robert St. Amant
FOCS
2008
IEEE
16 years 16 days ago
Almost-Natural Proofs
Razborov and Rudich have shown that so-called natural proofs are not useful for separating P from NP unless hard pseudorandom number generators do not exist. This famous result is...
Timothy Y. Chow
ICCAD
2008
IEEE
133views Hardware» more  ICCAD 2008»
16 years 3 months ago
Module locking in biochemical synthesis
—We are developing a framework for computation with biochemical reactions with a focus on synthesizing specific logical functionality, a task analogous to technology-independent...
Brian Fett, Marc D. Riedel