Sciweavers

2765 search results - page 293 / 553
» Works and representation
Sort
View
PROCEDIA
2011
14 years 9 months ago
A Multilevel Parallelism Support for Multi-Physics Coupling
A new challenge in scientific computing is to merge existing simulation models to create new higher fidelity combined (often multi-level) models. While this challenge has been a...
Fang Liu, Masha Sosonkina
GECCO
2003
Springer
128views Optimization» more  GECCO 2003»
15 years 12 months ago
Learning Biped Locomotion from First Principles on a Simulated Humanoid Robot Using Linear Genetic Programming
We describe the first instance of an approach for control programming of humanoid robots, based on evolution as the main adaptation mechanism. In an attempt to overcome some of th...
Krister Wolff, Peter Nordin
IV
2002
IEEE
109views Visualization» more  IV 2002»
15 years 11 months ago
Designing Dynamic Interactive Visualisations to Support Collaboration and Cognition
Dynamic interactive visualisations (DIVs) are intended to help coordination and collaboration, through augmenting existing forms of synchronous communication (i.e. phones, face to...
Yvonne Rogers, Harry Brignull, Michael Scaife
ITP
2010
114views Mathematics» more  ITP 2010»
15 years 10 months ago
A New Foundation for Nominal Isabelle
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
Brian Huffman, Christian Urban
PRESENCE
1998
123views more  PRESENCE 1998»
15 years 6 months ago
A Real-Time Algorithm for Accurate Collision Detection for Deformable Polyhedral Objects
We propose an accurate collision detection algorithm for use in virtual reality applications. The algorithm works for three-dimensional graphical environments where multiple objec...
Yoshifumi Kitamura, Andrew Smith, Haruo Takemura, ...