Sciweavers

1902 search results - page 78 / 381
» Differential Dynamic Logics
Sort
View
MCS
2011
Springer
15 years 11 days ago
The geometry and dynamics of binary trees
: The modeling of a fully populated 3D tree able to regulate dynamically remains a relatively unexplored field. A non-dimensional representation of “autoregulation” coupled wit...
T. David, Thomas van Kempen, Huaxiong Huang, Phill...
HICSS
2010
IEEE
159views Biometrics» more  HICSS 2010»
16 years 8 days ago
Towards a Systematic Approach for Capturing Dynamic Transformation in Enterprise Models
The transparency created by enterprise models is a valuable support for organizational engineering and especially enterprise transformation. However, current approaches are hardly...
Stephan Aier, Bettina Gleichauf
ICASSP
2008
IEEE
15 years 12 months ago
Efficient 4D motion compensated lossless compression of dynamic volumetric medical image data
Dynamic volumetric (four dimensional- 4D) medical images are typically huge in file size and require a vast amount of resources for storage and transmission purposes. In this pape...
Victor Sanchez, Panos Nasiopoulos, Rafeef Abugharb...
ICRA
2007
IEEE
183views Robotics» more  ICRA 2007»
15 years 11 months ago
Global Trajectory Generation for Nonholonomic Robots in Dynamic Environments
— We consider the problem of generating global feasible trajectories for nonholonomic mobile robots in the presence of moving obstacles. The global trajectory is composed of regi...
Yi Guo, Yi Long, Weihua Sheng
ICRA
2006
IEEE
105views Robotics» more  ICRA 2006»
15 years 11 months ago
Towards Automated Gait Generation for Dynamic Systems with Non-holonomic Constraints
— In this paper we generate gaits for dynamics systems that are subject to non-holonomic velocity constraints. These systems are referred to as mixed non-holonomic systems. The m...
Elie A. Shammas, Howie Choset, Alfred A. Rizzi