4609 search results - page 394 / 922 » Automatic Generation of Sigma-Protocols |
198
click to vote
FPL
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We propose CUSTARD — CUStomisable Threaded ARchitecture — a soft processor design space that combines support for multiple hardware threads and automatically generate...
180
click to vote
ICWE
2005
Springer
16 years 8 days ago
2005
Springer
Current Web generation techniques are mainly hard-coded for predefined architectures of Web applications. Consequently, there is a gap between Web design models and the final imple...
161
click to vote
IJCNLP
2005
Springer
16 years 8 days ago
2005
Springer
This paper explores two linguistically motivated restrictions on the set of words used for topic tracking on newspaper articles: named entities and headline words. We assume that n...
155
click to vote
MPC
2004
Springer
16 years 4 days ago
2004
Springer
Unfolds generate data structures, and folds consume them. A hylomorphism is a fold after an unfold, generating then consuming a virtual data structure. A metamorphism is the opposi...
167
click to vote
PRICAI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The problem of interpreting Natural Language (NL) discourse is generally of exponential complexity. However, since interactions with users must be conducted in real time,...