Sciweavers

3771 search results - page 152 / 755
» Subobject Transformation Systems
Sort
View
130
Voted
CDC
2010
IEEE
136views Control Systems» more  CDC 2010»
14 years 10 months ago
Multi-resolution path planning: Theoretical analysis, efficient implementation, and extensions to dynamic environments
A multi-resolution path planning algorithm based on the wavelet transform of the environment has been reported previously in the literature. In this paper, we provide a proof of co...
Raghvendra V. Cowlagi, Panagiotis Tsiotras
ICST
2009
IEEE
15 years 1 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
138
Voted
ICVS
2009
Springer
15 years 1 months ago
Automatic Classification of Image Registration Problems
This paper introduces a system that automatically classifies registration problems based on the type of registration required. Rather than rely on a single "best" algorit...
Steve Oldridge, Gregor Miller, Sidney Fels
127
Voted
CASES
2000
ACM
15 years 8 months ago
A code generation framework for Java component-based designs
In this paper, we describe a software architecture supporting code generation from within Ptolemy II. Ptolemy II is a componentbased design tool intended for embedded and real-tim...
Jeff Tsay, Christopher Hylands, Edward Lee
109
Voted
ISBI
2006
IEEE
16 years 4 months ago
3D anatomical variability assessment of the scoliotic spine using statistics on Lie groups
We present a method to analyse the variability of the spine shape using rigid transforms. The spine was expressed as a set of rigid transforms that superpose local coordinates sys...
Jonathan Boisvert, Xavier Pennec, Nicholas Ayache,...