Sciweavers

7167 search results - page 221 / 1434
» A Technique for Invariant Generation
Sort
View
AIIDE
2008
15 years 9 months ago
Automatic Generation of Game Level Solutions as Storyboards
Interactive Storytelling techniques are attracting much interest for their potential to develop new game genres but also as another form of procedural content generation, specific...
David Pizzi, Marc Cavazza, Alex Whittaker, Jean-Lu...
ICPR
2008
IEEE
16 years 1 months ago
Automatic generation of optimum classification cascades
In this paper, we present a novel technique to automatically generate optimum classification cascades. Given a powerful classifier SF with satisfactory accuracy and a set of N cla...
Ezzat Ali El-Sherif, Sherif Abdelazeem, M. Fathy A...
IMR
2004
Springer
16 years 18 days ago
An Algorithm for Two-Dimensional Mesh Generation Based on the Pinwheel Tiling
We propose a new two-dimensional meshing algorithm called PINW able to generate meshes that accurately approximate the distance between any two domain points by paths composed onl...
Pritam Ganguly, Stephen A. Vavasis, Katerina D. Pa...
GECCO
1999
Springer
106views Optimization» more  GECCO 1999»
15 years 11 months ago
Generating Lemmas for Tableau-based Proof Search Using Genetic Programming
Top-down or analytical provers based on the connection tableau calculus are rather powerful, yet have notable shortcomings regarding redundancy control. A well-known and successfu...
Marc Fuchs, Dirk Fuchs, Matthias Fuchs
ICRA
1993
IEEE
97views Robotics» more  ICRA 1993»
15 years 11 months ago
Task Space Velocity Blending for Real-Time Trajectory Generation
This paper presents a new velocity blending approach to the problem of task space trajectory generation. To compare this technique with others, a generalized formulation for task ...
Richard Volpe