693 search results - page 61 / 139 » Minimization and Partitioning Method Reducing Input Sets |
120
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We present an extrapolation with care set operator to accelerate termination of reachability computation with polyhedra. At the same time, a counterexample guided refine...
108
click to vote
VISUALIZATION
1997
IEEE
15 years 5 months ago
1997
IEEE
In the area of scientific visualization, input data sets are often very large. In visualization of Computational Fluid Dynamics (CFD) in particular, input data sets today can surp...
AB
2007
Springer
15 years 5 months ago
2007
Springer
Lie group theory states that knowledge of a m-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by m the number of equations. ...
149
click to vote
CASES
2007
ACM
15 years 5 months ago
2007
ACM
We propose a technique which leverages configurable data caches to address the problem of cache interference in multitasking embedded systems. Data caches are often necessary to p...
113
click to vote
BMCBI
2008
15 years 1 months ago
2008
Background: The traditional (unweighted) k-means is one of the most popular clustering methods for analyzing gene expression data. However, it suffers three major shortcomings. It...