Sciweavers

220 search results - page 9 / 44
» Copositivity tests based on the linear complementarity probl...
Sort
View
112
Voted
FPT
2005
IEEE
170views Hardware» more  FPT 2005»
15 years 6 months ago
High Quality Uniform Random Number Generation Through LUT Optimised Linear Recurrences
This paper describes a class of FPGA-specific uniform random number generators with a 2k −1 length period, which can provide k random bits per-cycle for the cost of k Lookup Ta...
David B. Thomas, Wayne Luk
CDC
2008
IEEE
131views Control Systems» more  CDC 2008»
15 years 6 months ago
Probabilistic testing for stochastic hybrid systems
— In this paper we propose a testing based method for safety/ reachability analysis of stochastic hybrid systems. Testing based methods are characterized by analysis based on the...
A. Agung Julius, George J. Pappas
76
Voted
ICPR
2000
IEEE
15 years 4 months ago
Planar Conic Based Camera Calibration
Inspired by the techniqueproposed by Zhang in [13],we proposed a new camera calibrationtechnique,which only requires observing threeor more planar con-centricconics at afew (at le...
Changjiang Yang, Fengmei Sun, Zhanyi Hu
SAT
2007
Springer
95views Hardware» more  SAT 2007»
15 years 6 months ago
Solving Multi-objective Pseudo-Boolean Problems
Integer Linear Programs are widely used in areas such as routing problems, scheduling analysis and optimization, logic synthesis, and partitioning problems. As many of these proble...
Martin Lukasiewycz, Michael Glaß, Christian ...
107
Voted
DAM
2007
91views more  DAM 2007»
15 years 11 days ago
Integer linear programming approaches for non-unique probe selection
In addition to their prevalent use for analyzing gene expression, DNA microarrays are an efficient tool for biological, medical, and industrial applications because of their abil...
Gunnar W. Klau, Sven Rahmann, Alexander Schliep, M...