Sciweavers

683 search results - page 117 / 137
» Hierarchical spacetime control
Sort
View
MEMOCODE
2003
IEEE
14 years 3 months ago
Bridging CSP and C++ with Selective Formalism and Executable Specifications
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
William B. Gardner
CONCUR
2003
Springer
14 years 3 months ago
A Compositional Semantic Theory for Synchronous Component-based Design
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
Barry Norton, Gerald Lüttgen, Michael Mendler
AFRIGRAPH
2010
ACM
14 years 2 months ago
Adaptive LOD editing of quad meshes
We present a method for editing the LOD of quad meshes, which supports both adaptive refinement and adaptive coarsening. Starting at a base mesh, we generate a quad-dominant mesh...
Daniele Panozzo, Enrico Puppo
EUROMICRO
2002
IEEE
14 years 2 months ago
Is Dynamic Multi-Rate Multicast Worthwhile the Effort?
To accommodate heterogeneous transmission conditions in a streaming scenario several multi-rate multicast solutions have been proposed, based on simulcasting or hierarchical layer...
Ivica Rimac, Jens Schmitt, Ralf Steinmetz
ICRA
2002
IEEE
98views Robotics» more  ICRA 2002»
14 years 2 months ago
Sensor-Based Exploration for Convex Bodies: A New Roadmap for a Convex-Shaped Robot
We present a new algorithm that enables a convex shaped robot to explore an unknown planar workspace, i.e., an unknown configuration space diffeomorphic to SE(2). This new algor...
Ji Yeong Lee, Howie Choset