4315 search results - page 89 / 863 » Sorting in linear time |
91
Voted
MST
2010
15 years 1 months ago
2010
65
Voted
PVLDB
2010
15 years 1 months ago
2010
117
Voted
ACL
2010
15 years 22 days 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 ...
111
Voted
FOCS
2010
IEEE
15 years 21 days ago
2010
IEEE
122
Voted
AAI
2010
14 years 9 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...