Sciweavers

20 search results - page 2 / 4
» Symbolically Computing Most-Precise Abstract Operations for ...
Sort
View
ASPDAC
2001
ACM
126views Hardware» more  ASPDAC 2001»
13 years 7 months ago
A new partitioning scheme for improvement of image computation
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
Christoph Meinel, Christian Stangier
GECCO
2003
Springer
127views Optimization» more  GECCO 2003»
13 years 8 months ago
Complex Function Sets Improve Symbolic Discriminant Analysis of Microarray Data
Abstract. Our ability to simultaneously measure the expression levels of thousands of genes in biological samples is providing important new opportunities for improving the diagnos...
David M. Reif, Bill C. White, Nancy Olsen, Thomas ...
VMCAI
2007
Springer
13 years 9 months ago
Shape Analysis of Single-Parent Heaps
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
Ittai Balaban, Amir Pnueli, Lenore D. Zuck
CAIP
1997
Springer
141views Image Analysis» more  CAIP 1997»
13 years 7 months ago
Morphological Iterative Closest Point Algorithm
Abstract—This work presents a method for the registration of threedimensional (3-D) shapes. The method is based on the iterative closest point (ICP) algorithm and improves it thr...
C. P. Vavoulidis, Ioannis Pitas
SIAMCO
2010
169views more  SIAMCO 2010»
12 years 10 months ago
Shape Derivative of Drag Functional
Abstract. In the paper compressible, stationary Navier-Stokes (N-S) equations are considered. The model is well-posed, there exist weak solutions in bounded domains, subject to inh...
Pavel I. Plotnikov, Jan Sokolowski