Sciweavers

4767 search results - page 352 / 954
» Moving between Contexts
Sort
View
WLP
2004
Springer
16 years 5 days ago
A Pragmatic Approach to Pre-testing Prolog Programs
Abstract. We present an overview on the AT(x) approach which is capable of automatically analyzing programs with respect to given tests and a reference solution. In the context of ...
Christoph Beierle, Marija Kulas, Manfred Widera
CEC
2003
IEEE
16 years 4 days ago
Exploring the search space of quantum programs
Here we present a first study of search spaces and fitness landscapes in the context of the evolution of quantum programs. We consider small instances of the Deutsch-Jozsa proble...
André Leier, Wolfgang Banzhaf
TPCG
2003
IEEE
16 years 3 days ago
Planar Bones for MPEG-4 Facial Animation
This paper proposes a deformation technique called Planar Bones, derived from Surface-oriented Free Form Deformations, and explores its application to the context of Facial Animat...
Manuel A. Sánchez Lorenzo, Steve C. Maddock
SBCCI
2003
ACM
113views VLSI» more  SBCCI 2003»
16 years 3 days ago
Tangram - Virtual Integration of Heterogeneous IP Components in a Distributed Co-Simulation Environment
IP reuse is essential in embedded SoC design. IP components may be described in different modeling languages and present heterogeneous interfaces. The Tangram environment supports...
Uilian Rafael Feijo Souza, Josue Klafke Sperb, Bra...
CAIP
2003
Springer
103views Image Analysis» more  CAIP 2003»
16 years 2 days ago
Classifying Sketches of Animals Using an Agent-Based System
A technique for the classification and understanding of child-like sketches of animals, using a live pen-based input device is demonstrated. A method of segmenting the sketch usin...
Graham Mackenzie, Natasha Alechina