Sciweavers

3328 search results - page 278 / 666
» On Plateaued Functions and Their Constructions
Sort
View
IEICET
2011
15 years 1 months ago
The Security of Abreast-DM in the Ideal Cipher Model
Abstract. In this paper, we give a security proof for Abreast-DM in terms of collision resistance and preimage resistance. As old as Tandem-DM, the compression function Abreast-DM ...
Jooyoung Lee, Daesung Kwon
CG
2011
Springer
14 years 10 months ago
Feature based volumes for implicit intersections
The automatic generation of volumes bounding the intersection of two implicit surfaces (isosurfaces of real functions of 3D point coordinates) or Feature Based Volumes (FBV) is pr...
Oleg Fryazinov, Pierre-Alain Fayolle, Turlif Vilbr...
FM
2011
Springer
357views Formal Methods» more  FM 2011»
14 years 10 months ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund
JVCA
2011
60views more  JVCA 2011»
14 years 9 months ago
UEGM: uncertain emotion generator under multi-stimulus
In this paper, we introduce a novel particle filtering architecture to simulate uncertain emotion generation under multi-stimulus, to enrich emotions for virtual characters. Parti...
Nan Xiang, Haiying Zhao, Xiaojian Zhou, Mingliang ...
PEPM
2011
ACM
14 years 9 months ago
Ordering multiple continuations on the stack
Passing multiple continuation arguments to a function in CPS form allows one to encode a wide variety of direct-style control constructs, such as conditionals, exceptions, and mul...
Dimitrios Vardoulakis, Olin Shivers