Sciweavers

247 search results - page 9 / 50
» Even Astral Configurations
Sort
View
64
Voted
ICRA
2010
IEEE
130views Robotics» more  ICRA 2010»
14 years 8 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»
14 years 4 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»
15 years 2 months 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
15 years 10 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
86
Voted
CAV
2006
Springer
86views Hardware» more  CAV 2006»
15 years 1 months 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...