Sciweavers

4708 search results - page 393 / 942
» Generating the Structure of Argument
Sort
View
MICCAI
2007
Springer
16 years 7 months ago
Shape Analysis Using a Point-Based Statistical Shape Model Built on Correspondence Probabilities
A fundamental problem when computing statistical shape models is the determination of correspondences between the instances of the associated data set. Often, homologies between po...
Heike Hufnagel, Xavier Pennec, Jan Ehrhardt, Heinz...
CADE
2007
Springer
16 years 7 months ago
Dependency Pairs for Rewriting with Non-free Constructors
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
Stephan Falke, Deepak Kapur
EDBT
2008
ACM
120views Database» more  EDBT 2008»
16 years 7 months ago
Schema mapping verification: the spicy way
Schema mapping algorithms rely on value correspondences ? i.e., correspondences among semantically related attributes ? to produce complex transformations among data sources. Thes...
Angela Bonifati, Giansalvatore Mecca, Alessandro P...
CEC
2008
IEEE
16 years 1 months ago
Evolutionary optimization of a bipedal gait in a physical robot
— Evolutionary optimization of a gait for a bipedal robot has been studied, combining structural and parametric modifications of the system responsible for generating the gait. ...
Krister Wolff, David Sandberg, Mattias Wahde
EVOW
2007
Springer
16 years 29 days ago
Self-organizing Bio-inspired Sound Transformation
We present a time domain approach to explore a sound transformation paradigm for musical performance. Given a set of sounds containing a priori desired qualities and a population o...
Marcelo F. Caetano, Jônatas Manzolli, Fernan...