1536 search results - page 184 / 308 » On the Relation between Interpreted Systems and Kripke Model... |
COMPGEOM
1997
ACM
14 years 2 months ago
1997
ACM
Many algorithms developed in computational geometry are needlessly complicated and slow because they have to be prepared for very complicated, hypothetical inputs. To avoid this, ...
ECCC
2000
13 years 10 months ago
2000
A simple extension of standard neural network models is introduced which provides a model for neural computations that involve both firing rates and firing correlations. Such an ex...
HT
2003
ACM
14 years 3 months ago
2003
ACM
This paper describes a generic hypermedia model that is used as a framework for building context aware and mixed reality applications. It can handle different media elements, and ...
DSD
2006
IEEE
14 years 4 months ago
2006
IEEE
We propose a power model for the Nostrum NoC. For this purpose an empirical power model of links and switches has been formulated and validated with the Synopsys Power Compiler. T...
ACSAC
2004
IEEE
14 years 1 months ago
2004
IEEE
The basic idea behind delegation is that some active entity in a system delegates authority to another active entity in order to carry out some functions on behalf of the former. ...