Sciweavers

8728 search results - page 345 / 1746
» On Reduct Construction Algorithms
Sort
View
APPROX
2005
Springer
79views Algorithms» more  APPROX 2005»
16 years 9 days ago
Reconstructive Dispersers and Hitting Set Generators
Abstract. We give a generic construction of an optimal hitting set generator (HSG) from any good “reconstructive” disperser. Past constructions of optimal HSGs have been based ...
Christopher Umans
CALCO
2007
Springer
118views Mathematics» more  CALCO 2007»
16 years 28 days ago
Free Modal Algebras: A Coalgebraic Perspective
In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit...
Nick Bezhanishvili, Alexander Kurz
FOSSACS
2005
Springer
16 years 8 days ago
Foundations of Web Transactions
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
Cosimo Laneve, Gianluigi Zavattaro
VLSID
2002
IEEE
81views VLSI» more  VLSID 2002»
15 years 11 months ago
A New Synthesis of Symmetric Functions
A new approach to synthesizing totally symmetric Boolean functions is presented. First, a novel cellular array is introduced for synthesizing unate symmetric functions. Using this...
Hafizur Rahaman, Debesh K. Das, Bhargab B. Bhattac...
ACCV
2006
Springer
15 years 10 months ago
High Dynamic Range Global Mosaic
This paper presents a global approach for constructing high dynamic range mosaic from multiple images with large exposure differences. By relating image intensities to scene radian...
Dae Woong Kim, Ki-Sang Hong