12289 search results - page 369 / 2458 » computing 2006 |
145
click to vote
ICRA
2006
IEEE
15 years 11 months ago
2006
IEEE
— Quasistatic multi-legged locomotion consists of a sequence of equilibrium postures where the mechanism supports itself against gravity while moving free limbs to new positions....
119
click to vote
CE
2007
15 years 4 months ago
2007
The paper reports a small-scale, long-term pilot project designed to foster strategic and reasoning abilities in young primary school pupils by engaging them in a number of comput...
133
Voted
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
— The accelerations of and forces among contacting rigid bodies may be computed by formulating the dynamics equations and contact constraints as a complementarity problem [1]. Da...
127
click to vote
ESORICS
2006
Springer
15 years 8 months ago
2006
Springer
We study the problem of Secure Multi-party Computation (SMC) in a model where individual processes contain a tamper-proof security module, and introduce the TrustedPals framework, ...
148
click to vote
FCS
2006
15 years 6 months ago
2006
: We introduce an extended model for view-centric reasoning, EVCR, that provides more nsive and flexible abstractions for representing actual concurrency. The theory of Communicati...