989 search results - page 131 / 198 » Version spaces and the consistency problem |
178
click to vote
IJRR
2007
15 years 5 months ago
2007
Recent research concerning the Gaussian canonical form for Simultaneous Localization and Mapping (SLAM) has given rise to a handful of algorithms that attempt to solve the SLAM sc...
163
Voted
CCS
2009
ACM
16 years 23 days ago
2009
ACM
As storage-outsourcing services and resource-sharing networks have become popular, the problem of efficiently proving the integrity of data stored at untrusted servers has receiv...
210
click to vote
HASKELL
2006
ACM
15 years 12 months ago
2006
ACM
Many numerical algorithms are specified in terms of operations on vectors and matrices. Matrix operations can be executed extremely efficiently using specialized linear algebra k...
172
click to vote
DSN
2004
IEEE
15 years 9 months ago
2004
IEEE
Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. An error in a firewall policy either creates security hole...
209
click to vote
NECO
2011
15 years 26 days ago
2011
The neocortex has a remarkably uniform neuronal organization, suggesting that common principles of processing are employed throughout its extent. In particular, the patterns of co...