Sciweavers

46 search results - page 4 / 10
» Construction of problem-solving methods as parametric design
Sort
View
ICRA
2007
IEEE
130views Robotics» more  ICRA 2007»
15 years 3 months ago
Design of a Biomimetic Controlled-Curvature Robotic Pectoral Fin
—This paper describes the design, construction, and testing of a biomimetic pectoral (side) fin with actively controlled curvature for UUV propulsion. First, a 3D unsteady comput...
John Palmisano, Ravi Ramamurti, Kerr-Jia Lu, Jonah...
IWC
2006
62views more  IWC 2006»
14 years 9 months ago
Clover: Connecting technology and character education using personally-constructed animated vignettes
Schools are increasingly integrating character education to facilitate improved moral thinking and pro social behavior among students. An effective method for delivering character...
Brian P. Bailey, Sharon Tettegah, Terry J. Bradley
IWCMC
2006
ACM
15 years 3 months ago
Security aspects of inter-satellite links using neural networks
This paper presents a neural network model for routing in the space segment of a Satellite Personal Communication System. At first, a proper energy function is constructed from th...
Peter P. Stavroulakis, Ioannis Dimou, Harilaos G. ...
GECCO
2010
Springer
176views Optimization» more  GECCO 2010»
14 years 11 months ago
A hierarchical cooperative evolutionary algorithm
To successfully search multiple coadaptive subcomponents in a solution, we developed a novel cooperative evolutionary algorithm based on a new computational multilevel selection f...
Shelly Xiaonan Wu, Wolfgang Banzhaf
89
Voted
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
15 years 6 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard