177 search results - page 27 / 36 » Higher-Order Abstract Non-interference |
ICANN
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We have studied the spatiotemporal behaviour of threshold coupled chaotic neurons. We observe that the chaos is controlled by threshold activated coupling, and the system...
FROCOS
2005
Springer
14 years 2 months ago
2005
Springer
We define a general notion of a fragment within higher order type theory; a procedure for constraint satisfiability in combined fragments is outlined, following Nelson-Oppen sche...
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We discuss a collection of mechanized formal proofs of symmetric key block encryption algorithms (AES, MARS, Twofish, RC6, Serpent, IDEA, and TEA), performed in an imple...
NOLISP
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Glottal inverse filtering is a technique used to derive the glottal waveform during voiced speech. Closed phase inverse filtering (CPIF) is a common approach for achiev...
VLSM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we propose a novel variational technique for the knowledge based segmentation of two dimensional objects. One of the elements of our approach is the use of ...