257 search results - page 14 / 52 » Breaking Robert's Rules |
TLCA
2001
Springer
14 years 11 days ago
2001
Springer
In this paper we introduce a cut-elimination procedure for classical logic, which is both strongly normalising and consisting of local proof transformations. Traditional cut-elimin...
ICC
2000
IEEE
14 years 11 days ago
2000
IEEE
- In this paper, we propose a new method to design an interleaver with practical size for turbo codes. In order to construct an optimal interleaver, we first set up the following d...
WSC
2008
13 years 10 months ago
2008
Interactions between synaptic vesicles and synapsin in a presynaptic nerve terminal were modeled using the CellDEVS formalism. Vesicles and synapsins move randomly within the pres...
GAMEON
2001
13 years 9 months ago
2001
The field of multi-agent systems is an active area of research. One of the possible applications of a multi-agent system is the use of distributed techniques for problem solving. ...
CADE
2002
Springer
14 years 8 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...