4315 search results - page 89 / 863 » Sorting in linear time |
MST
2010
13 years 6 months ago
2010
PVLDB
2010
13 years 6 months ago
2010
ACL
2010
13 years 5 months ago
2010
Incremental parsing techniques such as shift-reduce have gained popularity thanks to their efficiency, but there remains a major problem: the search is greedy and only explores a ...
FOCS
2010
IEEE
13 years 5 months ago
2010
IEEE
AAI
2010
13 years 2 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...