Sciweavers

5472 search results - page 314 / 1095
» Stochastic Mechanism Design
Sort
View
183
Voted
COCO
2003
Springer
102views Algorithms» more  COCO 2003»
16 years 22 days ago
Memoization and DPLL: Formula Caching Proof Systems
A fruitful connection between algorithm design and proof complexity is the formalization of the ¤¦¥¨§©§ approach to satisfiability testing in terms of tree-like resolution...
Paul Beame, Russell Impagliazzo, Toniann Pitassi, ...
DNA
2003
Springer
16 years 22 days ago
One Dimensional Boundaries for DNA Tile Self-Assembly
In this paper we report the design and synthesis of DNA molecules (referred to as DNA tiles) with specific binding interactions that guide self-assembly to make one-dimensional as...
Rebecca Schulman, Shaun Lee, Nick Papadakis, Erik ...
209
Voted
ICRA
2002
IEEE
150views Robotics» more  ICRA 2002»
16 years 13 days ago
Color Landmark Based Self-Localization for Indoor Mobile Robots
We present a simple artificial landmark model and a robust tracking algorithm for the navigation of indoor mobile robots. The landmark model is designed to have a three-dimensiona...
Gi-jeong Jang, Sungho Kim, Wang-Heon Lee, In-So Kw...
CDC
2009
IEEE
134views Control Systems» more  CDC 2009»
16 years 7 days ago
On LQG joint optimal scheduling and control under communication constraints
Abstract— In this paper, we consider a discrete-time stochastic system, where sensor measurements are sent over a network to the controller. The design objective is a non-classic...
Adam Molin, Sandra Hirche
ECCV
2010
Springer
15 years 11 months ago
Geometry Construction from Caustic Images
In this work we investigate an inverse geometry problem. Given a light source, a diffuse plane and a caustic image, how must a geometric object look like (transmissive or reflect...