Sciweavers

507 search results - page 83 / 102
» Fast Computational Methods for Visually Guided Robots
Sort
View
ICCV
2011
IEEE
12 years 8 months ago
Real-time Indoor Scene Understanding using Bayesian Filtering with Motion Cues
We present a method whereby an embodied agent using visual perception can efficiently create a model of a local indoor environment from its experience of moving within it. Our me...
Grace Tsai, Changhai Xu, Jingen Liu, Benjamin Kuip...
CVPR
2007
IEEE
14 years 10 months ago
Removal of Image Artifacts Due to Sensor Dust
Image artifacts that result from sensor dust are a common but annoying problem for many photographers. To reduce the appearance of dust in an image, we first formulate a model of ...
Changyin Zhou, Stephen Lin
VL
2002
IEEE
100views Visual Languages» more  VL 2002»
14 years 26 days ago
Using HCI Techniques to Design a More Usable Programming System
A programming system is the user interface between the programmer and the computer. Programming is a notoriously difficult activity, and some of this difficulty can be attribute...
John F. Pane, Brad A. Myers, Leah B. Miller
GECCO
2009
Springer
143views Optimization» more  GECCO 2009»
14 years 2 months ago
Exploiting hierarchical clustering for finding bounded diameter minimum spanning trees on euclidean instances
The bounded diameter minimum spanning tree problem is an NP-hard combinatorial optimization problem arising, for example, in network design when quality of service is of concern. ...
Martin Gruber, Günther R. Raidl
C3S2E
2010
ACM
13 years 9 months ago
Scalable formula decomposition for propositional satisfiability
Propositional satisfiability solving, or SAT, is an important reasoning task arising in numerous applications, such as circuit design, formal verification, planning, scheduling or...
Anthony Monnet, Roger Villemaire