3690 search results - page 502 / 738 » Computation with classical sequents |
148
click to vote
WOTE
2010
15 years 5 months ago
2010
Abstract. In this paper, we study the problem of simultaneously achieving several security properties, for voting schemes, without non-standard assumptions. More specifically, we ...
198
click to vote
ACL
2010
15 years 4 months ago
2010
Name ambiguity problem has raised urgent demands for efficient, high-quality named entity disambiguation methods. In recent years, the increasing availability of large-scale, rich...
172
click to vote
COLT
2010
Springer
15 years 4 months ago
2010
Springer
One of the most widely used techniques for data clustering is agglomerative clustering. Such algorithms have been long used across many different fields ranging from computational...
167
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Regular Expressions (RegExes) are widely used in various applications to identify strings of text. Their flexibility, however, increases the complexity of the detection system and ...
197
click to vote
ISVC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In this paper, we incorporated the global convex segmentation method and the split Bregman technique into the region-scalable fitting energy model. The new proposed metho...