49 search results - page 8 / 10 » Exploiting Symmetry in SMT Problems |
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— This paper considers the problem of sensor selfcalibration in mobile robotics by only using a single point feature (e.g. a source of light). In particular, the problem ...
CEC
2009
IEEE
15 years 4 months ago
2009
IEEE
— Legged robots show promise for complex mobility tasks, such as navigating rough terrain, but the design of their control software is both challenging and laborious. Traditional...
IPPS
2007
IEEE
15 years 3 months ago
2007
IEEE
Due to fundamental physical limitations and power constraints, we are witnessing a radical change in commodity microprocessor architectures to multicore designs. Continued perform...
AAAI
2010
14 years 11 months ago
2010
Partially-observable Markov decision processes (POMDPs) provide a powerful model for sequential decision-making problems with partially-observed state and are known to have (appro...
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
— The task in control allocation is to determine how to generate a specified generalized force from a redundant set of control effectors where the associated actuator control in...