Sciweavers

126 search results - page 18 / 26
» Fitting a Step Function to a Point Set
Sort
View
105
Voted
CAV
2006
Springer
133views Hardware» more  CAV 2006»
15 years 1 months ago
Antichains: A New Algorithm for Checking Universality of Finite Automata
We propose and evaluate a new algorithm for checking the universality of nondeterministic finite automata. In contrast to the standard algorithm, which uses the subset construction...
Martin De Wulf, Laurent Doyen, Thomas A. Henzinger...
EUROGRAPHICS
2010
Eurographics
15 years 7 months ago
A Hybrid Approach to Multiple Fluid Simulation using Volume Fractions
This paper presents a hybrid approach to multiple fluid simulation that can handle miscible and immiscible fluids, simultaneously. We combine distance functions and volume fract...
Nahyup Kang, Jinho Park, Junyong Noh, Sung Yong Sh...
MICRO
2006
IEEE
127views Hardware» more  MICRO 2006»
15 years 4 months ago
A Predictive Performance Model for Superscalar Processors
Designing and optimizing high performance microprocessors is an increasingly difficult task due to the size and complexity of the processor design space, high cost of detailed si...
P. J. Joseph, Kapil Vaswani, Matthew J. Thazhuthav...
HICSS
2003
IEEE
146views Biometrics» more  HICSS 2003»
15 years 3 months ago
A Model for the Emergence and Diffusion of Software Standards
The economic impact of the growth dynamic of standards is often described from a macroeconomic point of view, employing network effect theory and models dealing with externalities...
Tim Stockheim, Michael Schwind, Wolfgang Köni...
INFORMS
1998
100views more  INFORMS 1998»
14 years 9 months ago
Feature Selection via Mathematical Programming
The problem of discriminating between two nite point sets in n-dimensional feature space by a separating plane that utilizes as few of the features as possible, is formulated as a...
Paul S. Bradley, Olvi L. Mangasarian, W. Nick Stre...