4155 search results - page 426 / 831 » External Memory Algorithms |
173
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
As the Internet grows and network bandwidth continues to increase, administrators are faced with the task of keeping confidential information from leaving their networks. Today’...
168
click to vote
HT
2009
ACM
16 years 1 months ago
2009
ACM
Collaborative tagging systems are now popular tools for organising and sharing information on the Web. While collaborative tagging offers many advantages over the use of controll...
152
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
As semiconductor manufacturing requires greater capital investments, the use of contract foundries has grown dramatically, increasing exposure to mask theft and unauthorized exces...
189
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper, we address the issues of compliant control of a robot under contact constraints with a goal of using joint space based pattern generators as movement primitives,...
185
click to vote
ACL2
2006
ACM
16 years 25 days ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...