5084 search results - page 959 / 1017 » Proving Possibility Properties |
97
Voted
CHI
2004
ACM
16 years 29 days ago
2004
ACM
The aim of our study is to investigate systems for supporting remote instruction via a mobile robot. In the real world, instructions are typically given through words and body ori...
204
Voted
POPL
2005
ACM
16 years 28 days ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
115
Voted
RECOMB
2005
Springer
16 years 28 days ago
2005
Springer
We present a novel computational method, MultiBind, for recognition of binding patterns common to a set of protein structures. It is the first method which performs a multiple alig...
100
click to vote
STOC
2004
ACM
16 years 27 days ago
2004
ACM
We show how to securely realize any multi-party functionality in a way that preserves security under an a-priori bounded number of concurrent executions, regardless of the number ...
98
Voted
STOC
2002
ACM
16 years 27 days ago
2002
ACM
Given a set S of n points in IRd , a (t, )-approximate Voronoi diagram (AVD) is a partition of space into constant complexity cells, where each cell c is associated with t represe...