Sciweavers

6155 search results - page 135 / 1231
» A language for multiple models of computation
Sort
View
IJON
2000
61views more  IJON 2000»
15 years 4 months ago
Encoding multiple orientations in a recurrent network
Models containing recurrent connections amongst the cells within a population can account for a range of empirical data on orientation selectivity in striate cortex. However, exis...
Richard S. Zemel, Jonathan Pillow
ICIP
2007
IEEE
16 years 6 months ago
Robust Focused Image Estimation from Multiple Images in Video Sequences
In this paper, we propose a novel technique for estimating focused image sequences captured by an out-of-focus camera. The basic concept used in the proposed algorithm employs mul...
Junlan Yang, Dan Schonfeld, Magdi A. Mohamed
STTT
2008
134views more  STTT 2008»
15 years 4 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan
ICFP
2008
ACM
16 years 4 months ago
A scheduling framework for general-purpose parallel languages
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
Matthew Fluet, Mike Rainey, John H. Reppy
ICCS
2004
Springer
15 years 10 months ago
Encoding Multiple Solutions in a Linear Genetic Programming Chromosome
Abstract. Linear Genetic Programming (LGP) is a Genetic Programming variant that uses linear chromosomes for solution encoding. Each LGP chromosome is a sequence of C language inst...
Mihai Oltean, Crina Grosan, Mihaela Oltean