Sciweavers

ICRA
2010
IEEE
114views Robotics» more  ICRA 2010»
13 years 3 months ago
Navigating multiple simple-airplanes in 3D workspace
Abstract— We present an algorithm for collision-free navigation of multiple flying robots in three-dimensional workspace. Our approach extends the model of a simple car to a sim...
Jamie Snape, Dinesh Manocha
B
1998
Springer
13 years 8 months ago
Introducing Dynamic Constraints in B
In B, the expression of dynamic constraints is notoriously missing. In this paper, we make various proposals for introducing them. They all express, in di erent complementary ways,...
Jean-Raymond Abrial, Louis Mussat
CA
2002
IEEE
13 years 9 months ago
Spacetime Sweeping: An Interactive Dynamic Constraints Solver
This paper presents a new method for editing an existing motion to satisfy a set of user-specified constraints, and in doing so guaranteeing the kinematic and dynamic soundness o...
Seyoon Tak, Oh-Young Song, Hyeong-Seok Ko
ISBI
2007
IEEE
13 years 10 months ago
Dynamic Texture Based Heart Localization and Segmentation in 4-D Cardiac Images
In this paper we present a dynamic texture based motion segmentation approach to address the challenging problem of heart localization and segmentation in 4D Spatio-temporal cardi...
Junzhou Huang, Xiaolei Huang, Dimitris N. Metaxas,...
DATE
2009
IEEE
98views Hardware» more  DATE 2009»
13 years 11 months ago
Dynamic and distributed frequency assignment for energy and latency constrained MP-SoC
—In this paper we present an adaptive technique to locally adjust the frequency of processing elements on MP-SoC. The proposed method, based on Game Theory, optimizes the system ...
Diego Puschini, Fabien Clermidy, Pascal Benoit, Gi...