528 search results - page 91 / 106 » Construction of concrete verification models from C |
CAD
2008
Springer
13 years 8 months ago
2008
Springer
In many industries, products are constructed by assembled surface patches in 3, where each patch is expected to have an isometric map to a corresponding region in 2. The widely in...
COMPIMAGE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In this paper, we analyze the effects of energy normalization in adaptivehierarchy-based energy minimization methods. Adaptive hierarchies provide a nt multi-level abstra...
ICIP
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper proposes a content-based medical image retrieval (CBMIR) framework using dynamically optimized features from multiple regions of medical images. These regional features...
MIDDLEWARE
2004
Springer
14 years 1 months ago
2004
Springer
Software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adap...
COCO
2009
Springer
14 years 16 days ago
2009
Springer
We give polynomial time computable extractors for low-weight affince sources. A distribution is affine if it samples a random points from some unknown low dimensional subspace of ...