Sciweavers

247 search results - page 9 / 50
» Even Astral Configurations
Sort
View
ICRA
2010
IEEE
130views Robotics» more  ICRA 2010»
13 years 7 months ago
On the complexity of optimal reconfiguration planning for modular reconfigurable robots
— This paper presents a thorough analysis of the computational complexity of optimal reconfiguration planning problem for chain-type modular robots, i.e. finding the least number...
Feili Hou, Wei-Min Shen
JLP
2010
96views more  JLP 2010»
13 years 3 months ago
An overview of the K semantic framework
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...
Grigore Rosu, Traian-Florin Serbanuta
EH
1999
IEEE
169views Hardware» more  EH 1999»
14 years 23 days ago
GeneticFPGA: Evolving Stable Circuits on Mainstream FPGA Devices
GeneticFPGA is a Java-based tool for evolving digital circuits on Xilinx XC4000EXTM and XC4000XLTM devices. Unlike other FPGA architectures popular with Evolutionary Hardware rese...
Delon Levi, Steve Guccione
ICPR
2006
IEEE
14 years 9 months ago
Simultaneous Inference of View and Body Pose using Torus Manifolds
Inferring 3D body pose as well as viewpoint from a single silhouette image is a challenging problem. We present a new generative model to represent shape deformations according to...
Ahmed M. Elgammal, Chan-Su Lee
CAV
2006
Springer
86views Hardware» more  CAV 2006»
14 years 5 days ago
The Power of Hybrid Acceleration
This paper addresses the problem of computing symbolically the set of reachable configurations of a linear hybrid automaton. A solution proposed in earlier work consists in explori...
Bernard Boigelot, Frédéric Herbretea...