Sciweavers

2192 search results - page 188 / 439
» Embedded function composition
Sort
View
98
Voted
JMIV
2007
99views more  JMIV 2007»
15 years 21 days ago
Image Similarity Based on Intensity Scaling
An image similarity measure based upon intensity scaling is investigated for the registration of images which differ in contast. The measure is introduced for both optical flow a...
Stephen L. Keeling
89
Voted
SSC
2007
Springer
126views Cryptology» more  SSC 2007»
15 years 7 months ago
Randomness and Representation of Span n Sequences
Any span n sequences can be regarded as filtering sequences. From this observation, new randomness criteria for span n sequences are proposed. It is proved that the feedback funct...
Guang Gong
92
Voted
COMPSAC
2006
IEEE
15 years 6 months ago
A Pattern-Based Technique for Developing UML Models of Access Control Systems
This paper describes a pattern-based technique for systematic development of UML models of secure systems using access control. Access control is viewed and specified as a design...
Dae-Kyoo Kim, Priya Gokhale
97
Voted
AAECC
1997
Springer
99views Algorithms» more  AAECC 1997»
15 years 5 months ago
Extension Theorems for Linear Codes over Finite Rings
Various forms of the extension problem are discussed for linear codes de ned over nite rings. The extension theorem for symmetrized weight compositions over nite Frobenius rings is...
Jay A. Wood
95
Voted
FOSSACS
2008
Springer
15 years 2 months ago
Coalgebraic Logic and Synthesis of Mealy Machines
Abstract. We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds t...
Marcello M. Bonsangue, Jan J. M. M. Rutten, Alexan...