Sciweavers

3113 search results - page 230 / 623
» Numerical Methods
Sort
View
164
Voted
FMCAD
2008
Springer
15 years 8 months ago
Invariant-Strengthened Elimination of Dependent State Elements
Abstract-- This work presents a technology-independent synthesis optimization that is effective in reducing the total number of state elements of a design. It works by identifying ...
Michael L. Case, Alan Mishchenko, Robert K. Brayto...
AAECC
2007
Springer
117views Algorithms» more  AAECC 2007»
15 years 7 months ago
A predictor-corrector-type technique for the approximate parameterization of intersection curves
Abstract We describe a method to approximate a segment of the intersection curve of two implicitly defined surfaces by a rational parametric curve. Starting from an initial soluti...
Bert Jüttler, Pavel Chalmovianský
CLUSTER
2000
IEEE
15 years 11 months ago
Multi-Grid Acceleration of a SIMPLE-Based CFD-Code and Aspects of Parallelization
The present study treats the calculation of the continuous phase of a multiphase flow, i.e. the numerical solution of the equations for a turbulent incompressible flow. An exist...
Klaus Bernert, Thomas Frank, Hellfried Schneider, ...
SIAMCO
2010
124views more  SIAMCO 2010»
15 years 1 months ago
Reachability and Minimal Times for State Constrained Nonlinear Problems without Any Controllability Assumption
We consider a target problem for a nonlinear system under state constraints. We give a new continuous level-set approach for characterizing the optimal times and the backward-reach...
Olivier Bokanowski, Nicolas Forcadel, Hasnaa Zidan...
RSFDGRC
2007
Springer
236views Data Mining» more  RSFDGRC 2007»
16 years 1 months ago
Constructing Associative Classifier Using Rough Sets and Evidence Theory
Constructing accurate classifier based on association rule is an important and challenging task in data mining. In this paper, a novel combination strategy based on rough sets (RST...
Yuan-Chun Jiang, Ye-Zheng Liu, Xiao Liu, Jie-Kui Z...