2370 search results - page 461 / 474 » A Structured Set of Higher-Order Problems |
SIGUCCS
2000
ACM
14 years 1 months ago
2000
ACM
After thirty-plus years of making small “mid-course corrections” types of changes to the support paradigm, many on the Iowa State University campus thought it was time to make...
SIGMOD
1999
ACM
14 years 1 months ago
1999
ACM
Pre-computation and materialization of views with aggregate functions is a common technique in Data Warehouses. Due to the complex structure of the warehouse and the different pro...
ICRA
1999
IEEE
14 years 1 months ago
1999
IEEE
The mobile robot localization problem is decomposed into two stages attitude estimation followed by position estimation. The innovation of our method is the use of a smoother, in ...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
STOC
1997
ACM
14 years 1 months ago
1997
ACM
We present randomized constructions of linear-time encodable and decodable codes that can transmit over lossy channels at rates extremely close to capacity. The encoding and decod...