Sciweavers

2816 search results - page 98 / 564
» Submodular function minimization
Sort
View
CUZA
2010
150views Cryptology» more  CUZA 2010»
14 years 11 months ago
Symbolic Synthesis of Mealy Machines from Arithmetic Bitstream Functions
In this paper, we describe a symbolic synthesis method which given an algebraic expression that specifies a bitstream function f, constructs a (minimal) Mealy machine that realise...
Helle Hvid Hansen, Jan J. M. M. Rutten
ICIAP
2003
ACM
16 years 2 months ago
Dense 3D interpretation of image sequences: a variational approach using anisotropic diffusion
The purpose of this study is to investigate a new method for recovering relative depth and 3D motion from a temporal sequence of monocular images. The method is direct insomuch as...
Hicham Sekkati, Amar Mitiche
CONSTRAINTS
2010
116views more  CONSTRAINTS 2010»
15 years 2 months ago
Erratum to "Reformulating table constraints using functional dependencies - an application to explanation generation"
Abstract. We had claimed that arc-consistency is preserved in a constraint reformulation relying on functional dependencies (Theorem 2 of [2]). We show that the statement of this t...
Hadrien Cambazard, Barry O'Sullivan
SETA
2004
Springer
126views Mathematics» more  SETA 2004»
15 years 7 months ago
Algebraic Feedback Shift Registers Based on Function Fields
We study algebraic feedback shift registers (AFSRs) based on quotients of polynomial rings in several variables over a finite field. These registers are natural generalizations o...
Andrew Klapper
TR
2008
88views more  TR 2008»
15 years 2 months ago
Reliability Sampling Plans Under Progressive Type-I Interval Censoring Using Cost Functions
Abstract--This paper gives a reliability sampling plan for progressively type I interval censored life tests when the lifetime follows the exponential distribution. We use the maxi...
Syuan-Rong Huang, Shuo-Jye Wu