3796 search results - page 250 / 760 » The Failure of Personalities to Generalize |
181
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Autonomy requires robustness. The use of unmanned (autonomous) vehicles is appealing for tasks which are dangerous or dull. However, increased reliance on autonomous robots increa...
219
click to vote
CODES
2011
IEEE
14 years 6 months ago
2011
IEEE
The paper presents an overview of a major research project on dependable embedded systems that has started in Fall 2010 and is running for a projected duration of six years. Aim i...
215
click to vote
LICS
2012
IEEE
13 years 9 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
155
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
PageRank is known to be an efficient metric for computing general document importance in the Web. While commonly used as a one-size-fits-all measure, the ability to produce topica...
145
click to vote
ASIACRYPT
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. In the standard general-adversary model for multi-party protocols, a global adversary structure is given, and every party must trust in this particular structure. We intr...