Sciweavers

4581 search results - page 736 / 917
» Computing Transformation Semigroups
Sort
View
MICCAI
2009
Springer
16 years 7 months ago
3D Medical Image Segmentation by Multiple-Surface Active Volume Models
In this paper, we propose Multiple-Surface Active Volume Models (MSAVM) to extract 3D objects from volumetric medical images. Being able to incorporate spatial constraints among mu...
Tian Shen, Xiaolei Huang
ICIP
1998
IEEE
16 years 7 months ago
Covariant Conics Decomposition of Quartics for 2D Object Recognition and Affine Alignment
This paper outlines a geometric parameterization of 2D curves where the parameterization is in terms of geometric invariants and terms that determine an intrinsic coordinate system...
Jean-Philippe Tarel, William Wolovich and David B...
GIS
2008
ACM
16 years 7 months ago
An operation-independent approach to extend 2D spatial operations to 3D and moving objects
It has been pointed out repeatedly that spatial operations must be extended to include support for 3D and moving objects. The attempt to code by hand each spatial operation for ea...
Farid Karimipour, Andrew U. Frank, Mahmoud Reza De...
DAC
2008
ACM
16 years 7 months ago
Latency and bandwidth efficient communication through system customization for embedded multiprocessors
We present a cross-layer customization methodology for latency and bandwidth efficient inter-core communication in embedded multiprocessors. The methodology integrates compiler, o...
Chenjie Yu, Peter Petrov
DAC
1998
ACM
16 years 7 months ago
Design and Specification of Embedded Systems in Java Using Successive, Formal Refinement
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
James Shin Young, Josh MacDonald, Michael Shilman,...