Sciweavers

3113 search results - page 230 / 623
» Numerical Methods
Sort
View
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 6 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 10 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 15 days 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...