Sciweavers

1776 search results - page 214 / 356
» A Visual Modeling Environment for Embedded Component Systems
Sort
View
COORDINATION
2009
Springer
14 years 8 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
TVCG
2008
121views more  TVCG 2008»
13 years 8 months ago
Multi-Focused Geospatial Analysis Using Probes
Traditional geospatial information visualizations often present views that restrict the user to a single perspective. When zoomed out, local trends and anomalies become suppressed ...
Thomas Butkiewicz, Wenwen Dou, Zachary Wartell, Wi...
TROB
2010
96views more  TROB 2010»
13 years 6 months ago
Stochastic Modular Robotic Systems: A Study of Fluidic Assembly Strategies
Abstract—Modular robotic systems typically assemble using deterministic processes where modules are directly placed into their target position. By contrast, stochastic modular ro...
Michael Thomas Tolley, Michael Kalontarov, Jonas N...
UIST
2004
ACM
14 years 1 months ago
Visual tracking of bare fingers for interactive surfaces
Visual tracking of bare fingers allows more direct manipulation of digital objects, multiple simultaneous users interacting with their two hands, and permits the interaction on l...
Julien Letessier, François Bérard
ICPR
2006
IEEE
14 years 9 months ago
Object Tracking Using Globally Coordinated Nonlinear Manifolds
We present a dynamic inference algorithm in a globally parameterized nonlinear manifold and demonstrate it on the problem of visual tracking. An appearance manifold is usually non...
Che-Bin Liu, Ming-Hsuan Yang, Narendra Ahuja, Ruei...