Sciweavers

5128 search results - page 126 / 1026
» Discrete Component Analysis
Sort
View
76
Voted
CAIP
1997
Springer
15 years 4 months ago
Optimally Rotation-Equivariant Directional Derivative Kernels
Abstract. We describe a framework for the design of directional derivative kernels for two-dimensional discrete signals in which we optimize a measure of rotation-equivariance in t...
Hany Farid, Eero P. Simoncelli
101
Voted
GECCO
2000
Springer
109views Optimization» more  GECCO 2000»
15 years 4 months ago
Crossover in Probability Spaces
This paper proposes a new crossover operator for searching over discrete probability spaces. The design of the operator is considered in the light of recent theoretical insights i...
Siddhartha Bhattacharyya, Marvin D. Troutt
51
Voted
DAGSTUHL
2007
15 years 2 months ago
Component Based Electronic Voting Systems
—An electronic voting system may be said to be composed by a number of components, each of which has a number of properties. One of the most attractive effects of this way of thi...
David Lundin
CORR
2010
Springer
144views Education» more  CORR 2010»
14 years 11 months ago
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
nalysis of a TA modeled component. First, we abstract fine models to work with event streams at coarse granularity. We perform analysis of the component at multiple coarse granular...
Karine Altisen, Yanhong Liu, Matthieu Moy
96
Voted
ICSR
2009
Springer
14 years 10 months ago
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they ...
Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish...