FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
Andreas Holzer, Daniel Kroening, Christian Schallh...
We present a novel method for the fast computation of rotation invariant "local binary patterns" (LBP) on 3D volume data. Unlike a previous publication on 3D LBP, this n...
Abstract. Ant Colonies AC optimization take inspiration from the behavior of real ant colonies to solve optimization problems. This paper presents a parallel model for ant colonies...
We present a novel method of extracting topological and metric geographical data using only positional data sensed from personnel movements. We extend research from the field of r...
Partitioned Optical Passive Stars (POPS) network has been presented recently as a desirable model of parallel computation. Several papers have been published that address fundamen...