4415 search results - page 140 / 883 » How to Pair with a Human |
165
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
— The new generation of implanted neuroprostheses allows muscles to be controlled with fine accuracy, high selectivity and the repeatability of the muscle’s response can be ach...
176
click to vote
FLAIRS
2003
15 years 7 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
125
click to vote
CHI
1995
ACM
15 years 10 months ago
1995
ACM
SYNERGIES is a vision of how information products designed for everyday use will serve people in extraordinary
129
click to vote
DEXAW
1998
IEEE
15 years 10 months ago
1998
IEEE
During the last years the field of electronic commerce has seen a rapid growth. Various methods have been developed to allow the electronic transfer of business-related informatio...
165
click to vote
CONCUR
2009
Springer
16 years 29 days ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...