Sciweavers

5472 search results - page 314 / 1095
» Stochastic Mechanism Design
Sort
View
COCO
2003
Springer
102views Algorithms» more  COCO 2003»
15 years 12 months 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
15 years 12 months 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 ...
ICRA
2002
IEEE
150views Robotics» more  ICRA 2002»
15 years 11 months 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...
165
Voted
CDC
2009
IEEE
134views Control Systems» more  CDC 2009»
15 years 11 months 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 10 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...