Sciweavers

8695 search results - page 310 / 1739
» Making the Complex Simple
Sort
View
ICCAD
2006
IEEE
102views Hardware» more  ICCAD 2006»
16 years 3 months ago
From micro to nano: MEMS as an interface to the nano world
Leveraging conventional microsystems technology, MEMS has become the technology of choice for a wide range of applications including inertial sensors for automotive, games, and co...
Bernhard E. Boser
IROS
2009
IEEE
131views Robotics» more  IROS 2009»
16 years 1 months ago
A robotic closed-loop scheme to model human postural coordination
— This paper models recent data in the field of postural coordination showing the existence of self-organized postural states, and transition between them, underlying suprapostu...
Vincent Bonnet, Philippe Fraisse, Nacim Ramdani, J...
WIA
2009
Springer
16 years 1 months ago
Random Generation of Deterministic Tree (Walking) Automata
Uniform random generators deliver a simple empirical means to estimate the average complexity of an algorithm. We present a general rejection algorithm that generates sequential le...
Pierre-Cyrille Héam, Cyril Nicaud, Sylvain ...
TABLEAUX
2009
Springer
16 years 1 months ago
Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies
We present a terminating tableau calculus for graded hybrid logic with global modalities, reflexivity, transitivity and role hierarchies. Termination of the system is achieved thr...
Mark Kaminski, Sigurd Schneider, Gert Smolka
ECAL
2005
Springer
16 years 8 days ago
Evolutionary Transitions as a Metaphor for Evolutionary Optimisation
Abstract. This paper proposes a computational model for solving optimisation problems that mimics the principle of evolutionary transitions in individual complexity. More specific...
Anne Defaweux, Tom Lenaerts, Jano I. van Hemert