Sciweavers

2816 search results - page 98 / 564
» Submodular function minimization
Sort
View
98
Voted
CUZA
2010
150views Cryptology» more  CUZA 2010»
14 years 10 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
107
Voted
ICIAP
2003
ACM
16 years 21 days 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
103
Voted
CONSTRAINTS
2010
116views more  CONSTRAINTS 2010»
15 years 21 days 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
115
Voted
SETA
2004
Springer
126views Mathematics» more  SETA 2004»
15 years 6 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
110
Voted
TR
2008
88views more  TR 2008»
15 years 14 days 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