4355 search results - page 332 / 871 » From Interpretation to Compilation |
160
click to vote
ACRI
2004
Springer
16 years 5 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 ...
153
click to vote
CICLING
2003
Springer
15 years 12 months 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 ...
166
click to vote
CRYPTO
2003
Springer
15 years 12 months 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 ...
170
click to vote
IDA
2003
Springer
15 years 12 months 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...
161
Voted
ISCAS
2002
IEEE
15 years 11 months 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...