4609 search results - page 799 / 922 » Automatic Generation of Sigma-Protocols |
165
click to vote
ACL
2006
15 years 7 months ago
2006
Japanese case markers, which indicate the grammatical relation of the complement NP to the predicate, often pose challenges to the generation of Japanese text, be it done by a for...
160
click to vote
ACL
2006
15 years 7 months ago
2006
The integration of sophisticated inference-based techniques into natural language processing applications first requires a reliable method of encoding the predicate-argument struc...
186
click to vote
COOP
2004
15 years 7 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
151
click to vote
DGO
2004
15 years 7 months ago
2004
The focus of this paper reports a collaborative effort with the State of New Jersey in designing and building a human-centered e-government portal to support small and medium size...
146
click to vote
ECIR
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we describe an extractive method of creating very short summaries or gists that capture the essence of a news story using a linguistic technique called lexical chaini...