468 search results - page 39 / 94 » Computationally Feasible Automated Mechanism Design: General... |
IROS
2006
IEEE
14 years 2 months ago
2006
IEEE
— This paper proposes a Hidden Markov Model (HMM) based approach to generate human-like movements for humanoid robots. Given human motion capture data for a class of movements, p...
DAC
2009
ACM
14 years 9 months ago
2009
ACM
In this paper, a design method for automotive architectures is proposed. The two main technical contributions are (i) a novel hardware/software architecture encoding that unifies ...
CANDC
2009
ACM
13 years 6 months ago
2009
ACM
Supporting users' reasoned imagination in sense making during interaction with tangible and embedded computation involves supporting the application of their existing mental ...
SIGMETRICS
2008
ACM
13 years 8 months ago
2008
ACM
We study the problem of guaranteeing data durability [2] in distributed storage systems based on replication. Our work is motivated by several several recent efforts [3, 5, 1] to ...
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...