5158 search results - page 711 / 1032 » Generalization of the Dempster-Shafer Theory |
167
click to vote
SPAA
2003
ACM
16 years 23 hour ago
2003
ACM
We develop an algorithm for parallel disk sorting, whose I/O cost approaches the lower bound and that guarantees almost perfect overlap between I/O and computation. Previous algor...
176
click to vote
TLDI
2003
ACM
16 years 23 hour ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
184
click to vote
VRST
2003
ACM
16 years 23 hour ago
2003
ACM
Virtual Reality Art involves the design of artificial worlds that offer new experiences to spectators. An important aspect for the development of VR Art installations is the princ...
226
click to vote
WSNA
2003
ACM
16 years 22 hour ago
2003
ACM
We consider the problem of synchronization of all clocks in a sensor network, in the regime of asymptotically high node densities. We formulate this problem as one in which all cl...
210
click to vote
AGENTCL
2003
Springer
16 years 16 hour ago
2003
Springer
We propose group communication for agent coordination within “active rooms” and other pervasive computing scenarios featuring strict real-time requirements, inherently unrelia...