Sciweavers

3575 search results - page 178 / 715
» Presentations of computably enumerable reals
Sort
View
TACAS
2012
Springer
277views Algorithms» more  TACAS 2012»
14 years 2 months ago
Proving Reachability Using FShell - (Competition Contribution)
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...
ICPR
2008
IEEE
16 years 7 months ago
3D rotation invariant local binary patterns
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...
Hans Burkhardt, Janis Fehr
IPPS
1999
IEEE
15 years 10 months ago
Parallel Ant Colonies for Combinatorial Optimization Problems
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...
El-Ghazali Talbi, Olivier Roux, Cyril Fonlupt, Den...
PERCOM
2003
ACM
16 years 6 months ago
Using Personnel Movements for Indoor Autonomous Environment Discovery
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...
Robert K. Harle, Andy Hopper
ISCAPDCS
2004
15 years 7 months ago
Randomized Sorting on the POPS Network
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...
Jaime Davila, Sanguthevar Rajasekaran