10048 search results - page 141 / 2010 » The Structure and Performance of Interpreters |
151
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Uintah is a highly parallel and adaptive multiphysics framework created by the Center for Simulation of Accidental Fires and Explosions in Utah. Uintah, which is built up...
158
click to vote
AIML
2008
15 years 6 months ago
2008
A logic LTD is defined, inspired by [37]. It is syntactically like basic modal logic with an additional unary operator but it has an interval-based semantics on structures with arb...
108
click to vote
ICONIP
2007
15 years 6 months ago
2007
There is no consensus on measuring distances between two different neural network architectures. Two folds of methods are used for that purpose: Structural and behavioral distance ...
128
click to vote
APAL
2006
15 years 4 months ago
2006
We show that--unlike products of `transitive' modal logics which are usually undecidable-their `expanding domain' relativisations can be decidable, though not in primiti...
134
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
Denotational semantics can be based on algebras with additional structure (order, metric, etc.) which makes it possible to interpret recursive specifications. It was the idea of El...