Sciweavers

2052 search results - page 106 / 411
» Direct Combination
Sort
View
CVPR
2010
IEEE
15 years 12 months ago
Increasing depth resolution of Electron Microscopy of Neural circuits using Sparse Tomographic reconstruction
Future progress in neuroscience hinges on reconstruction of neuronal circuits to the level of individual synapses. Because of the specifics of neuronal architecture, imaging must ...
Ashok Veeraraghavan, Alex Genkin, Shiv Vitaladevun...
145
Voted
CRYPTO
2007
Springer
106views Cryptology» more  CRYPTO 2007»
15 years 7 months ago
Indistinguishability Amplification
system is the abstraction of the input-output behavior of any kind of discrete system, in particular cryptographic systems. Many aspects of cryptographic security analyses and pro...
Ueli M. Maurer, Krzysztof Pietrzak, Renato Renner
126
Voted
ICFP
2007
ACM
15 years 7 months ago
iTasks: executable specifications of interactive work flow systems for the web
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
EPIA
2009
Springer
15 years 10 months ago
Colored Nonograms: An Integer Linear Programming Approach
Abstract. In this paper we study colored nonogram solving using Integer Linear Programming. Our approach generalizes the one used by Robert A. Bosch which was developed for black a...
Luís Mingote, Francisco Azevedo
80
Voted
ICCD
2007
IEEE
105views Hardware» more  ICCD 2007»
15 years 9 months ago
Circuit-level mismatch modelling and yield optimization for CMOS analog circuits
A methodology for constructing circuit-level mismatch models and performing yield optimization is presented for CMOS analog circuits. The methodology combines statistical techniqu...
Mingjing Chen, Alex Orailoglu