4355 search results - page 332 / 871 » From Interpretation to Compilation |
186
click to vote
ACRI
2004
Springer
16 years 27 days ago
2004
Springer
An experimental analysis of the asynchronous version of the “Game of Life” is performed to estimate how topology perturbations modify its evolution. We focus on the study of a ...
177
Voted
CICLING
2003
Springer
16 years 22 days ago
2003
Springer
We present a dynamic deontic model for the interpretation of imperative sentences in terms of Obligation (O) and Permission (P). Under the view that imperatives prescribe actions ...
183
click to vote
CRYPTO
2003
Springer
16 years 22 days ago
2003
Springer
We introduce the concept of torus-based cryptography, give a new public key system called CEILIDH, and compare it to other discrete log based systems including Lucas-based systems ...
195
Voted
IDA
2003
Springer
16 years 21 days ago
2003
Springer
Because uncertain reasoning is often intractable, it is hard to reason with a large amount of knowledge. One solution to this problem is to specify a set of possible models, some s...
181
Voted
ISCAS
2002
IEEE
16 years 13 days ago
2002
IEEE
A blind source separation algorithm is used to estimate the mixing operator from electromagnetic emission signals through independent component analysis (ICA) technique. The mixin...