2432 search results - page 397 / 487 » Degrees and choice numbers |
162
click to vote
IROS
2008
IEEE
16 years 23 days ago
2008
IEEE
— In this paper we outline a grasp planning system designed to augment the cortical control of a prosthetic arm and hand. A key aspect of this task is the presence of on-line use...
165
click to vote
ICALP
2007
Springer
16 years 16 days ago
2007
Springer
Gaifman’s locality theorem states that every first-order sentence is equivalent to a local sentence. We show that there is no elementary bound on the length of the local sentenc...
168
click to vote
FOCS
2006
IEEE
16 years 13 days ago
2006
IEEE
We consider the problems of Byzantine Agreement and Leader Election, where a constant fraction b < 1/3 of processors are controlled by a malicious adversary. The first problem...
157
click to vote
INFOCOM
2006
IEEE
16 years 12 days ago
2006
IEEE
– In contrast to a typical single source of data updates in Internet applications, data files in a networked information system are often distributed, replicated, accessed and up...
158
click to vote
INFOCOM
2005
IEEE
15 years 12 months ago
2005
IEEE
— Packet buffers in router/switch interfaces constitute a central element of packet networks. The appropriate sizing of these buffers is an important and open research problem. M...