Sciweavers

4284 search results - page 599 / 857
» Useful Computer Vision Techniques for Human-Robot Interactio...
Sort
View
158
Voted
GD
2005
Springer
16 years 4 days ago
Visualizing Graphs as Trees: Plant a Seed and Watch it Grow
TreePlus is a graph browsing technique based on a tree-style layout. It shows the missing graph structure using interaction techniques and enables users to start with a specific no...
Bongshin Lee, Cynthia Sims Parr, Catherine Plaisan...
APVIS
2007
15 years 8 months ago
Interpreting large visual similarity matrices
Visual similarity matrices (VSMs) are a common technique for visualizing graphs and other types of relational data. While traditionally used for small data sets or well-ordered la...
Christopher Mueller, Benjamin Martin, Andrew Lumsd...
CAV
2009
Springer
206views Hardware» more  CAV 2009»
16 years 7 months ago
D-Finder: A Tool for Compositional Deadlock Detection and Verification
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, ...
TROB
2002
212views more  TROB 2002»
15 years 6 months ago
Path planning for robust image-based control
Abstract-- Vision feedback control loop techniques are efficient for a large class of applications but they come up against difficulties when the initial and desired robot position...
Youcef Mezouar, François Chaumette
TCS
2008
15 years 6 months ago
Spatial-behavioral types for concurrency and resource control in distributed systems
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
Luís Caires