8582 search results - page 346 / 1717 » Here or There |
199
click to vote
CALCO
2005
Springer
16 years 11 days ago
2005
Springer
Recently, various process calculi have been introduced which are suited for the modelling of mobile computation and in particular the mobility of program code; a prominent example ...
170
click to vote
CAV
2005
Springer
16 years 11 days ago
2005
Springer
We consider in the current paper the issue of exploiting the structural form of Esterel programs [BG92] to partition the algorithmic RSS (reachable state space) fix-point construc...
176
click to vote
CCIA
2005
Springer
16 years 11 days ago
2005
Springer
— This paper proposes a high-level Reinforcement Learning (RL) control system for solving the action selection problem of an autonomous robot. Although the dominant approach, whe...
192
click to vote
CHES
2005
Springer
16 years 11 days ago
2005
Springer
Two new FPGA designs for the Advanced Encryption Standard (AES) are presented. The first is believed to be the fastest, achieving 25 Gbps throughput using a Xilinx Spartan-III (XC3...
195
click to vote
CICLING
2005
Springer
16 years 11 days ago
2005
Springer
This paper presents two methods which automatically produce annotated corpora for text summarisation on the basis of human abstracts. Both methods identify a set of sentences from ...