Sciweavers

2800 search results - page 90 / 560
» Fibrational Control Structures
Sort
View
ENTCS
2011
129views more  ENTCS 2011»
14 years 9 months ago
Specifying Proof Systems in Linear Logic with Subexponentials
In the past years, linear logic has been successfully used as a general logical framework for encoding proof systems. Due to linear logic’s finer control on structural rules, i...
Vivek Nigam, Elaine Pimentel, Giselle Reis
ICRA
2006
IEEE
127views Robotics» more  ICRA 2006»
15 years 8 months ago
Contact Consistent Control Framework for Humanoid Robots
Abstract— This paper presents a framework for the dynamical formulation and control of humanoid systems. In this framework unactuated virtual joints are used to describe the huma...
Jaeheung Park, Oussama Khatib
111
Voted
IMR
2004
Springer
15 years 8 months ago
Anisotropic Mesh Gradation Control
The paper presents an a priori procedure to control the element size and shape variation for meshing algorithms governed by anisotropic sizing specifications. The field of desir...
Xiangrong Li, Jean-François Remacle, Nicola...
ROBOCUP
2001
Springer
111views Robotics» more  ROBOCUP 2001»
15 years 7 months ago
Evolving Fuzzy Logic Controllers for Sony Legged Robots
This paper presents an evolutionary approach to learning a fuzzy logic controller(FLC) employed for reactive behaviour control of Sony legged robots. The learning scheme is divided...
Dongbing Gu, Huosheng Hu
101
Voted
WSC
1997
15 years 4 months ago
A Java Based System for Specifying Hierarchical Control Flow Graph Models
The portion of the Hierarchical Modeling And Simulation System-Java (HiMASS-j) used for specifying Hierarchical Control Flow Graph (HCFG) Models is described. The specification o...
Thorsten Daum, Robert G. Sargent