1229 search results - page 40 / 246 » A New Method for Dependent Parsing |
VMCAI
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents history-dependent scheduling, a new technique for reducing the search space in the verification of cryptographic protocols. This technique allows the...
ACL
2006
13 years 9 months ago
2006
This paper proposes a novel composite kernel for relation extraction. The composite kernel consists of two individual kernels: an entity kernel that allows for entity-related feat...
CGF
2004
13 years 7 months ago
2004
We present a novel image interpolation algorithm. The algorithm can be used in arbitrary resolution enhancement, arbitrary rotation and other applications of still images in conti...
ACMSE
2006
ACM
14 years 1 months ago
2006
ACM
In this paper, we propose several methods to increase the difficulty of reverse engineering applications, with special emphasis on preventing the circumvention of copy protection ...
HICSS
2002
IEEE
14 years 19 days ago
2002
IEEE
The growing concern about wide area power system disturbances and their impact on power systems have reinforced interest in the new generation of system protection tools. Their ap...