12774 search results - page 2226 / 2555 » A Framework for Proof Systems |
176
click to vote
AUSAI
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Temporal expressions—references to points in time or periods of time—are widespread in text, and their proper interpretation is essential for any natural language pro...
183
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
In this paper we propose a new voting protocol with desirable security properties. The voting stage of the protocol can be performed by humans without computers; it provides every...
167
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
The problem of supporting the secure execution of potentially malicious third-party applications has received a considerable amount of attention in the past decade. In this paper ...
195
Voted
CIARP
2007
Springer
16 years 1 months ago
2007
Springer
The main difficulty in the binary object classification field lays in dealing with a high variability of symbol appearance. Rotation, partial occlusions, elastic deformations, or...
188
click to vote
CIKM
2007
Springer
16 years 1 months ago
2007
Springer
Most up-to-date well-behaved topic-based summarization systems are built upon the extractive framework. They score the sentences based on the associated features by manually assig...