Sciweavers

387 search results - page 15 / 78
» A Hierarchy of Quantum Semantics
Sort
View
GCC
2005
Springer
15 years 3 months ago
Collaborating Semantic Link Network with Resource Space Model
The Semantic Link Network model SLN and Resource Space Model RSM are semantic models proposed separately for effectively specifying and managing versatile resources across the Inte...
Yunpeng Xing, Jie Liu, Xiaoping Sun, Erlin Yao
AIML
2008
14 years 11 months ago
A modal perspective on monadic second-order alternation hierarchies
abstract. We establish that the quantifier alternation hierarchy of formulae of Second-Order Propositional Modal Logic (SOPML) induces an infinite corresponding semantic hierarchy ...
Antti Kuusisto
WEBI
2005
Springer
15 years 3 months ago
Aligning Class Hierarchies with Grass-Roots Class Alignment
The performance of an ontology alignment technique largely depends on the amount of information that can be leveraged for the alignment task. On the Semantic Web, end-users may ex...
Baoshi Yan
ASAP
2010
IEEE
143views Hardware» more  ASAP 2010»
14 years 11 months ago
Loop transformations for interface-based hierarchies IN SDF graphs
Data-flow has proven to be an attractive computation model for programming digital signal processing (DSP) applications. A restricted version of data-flow, termed synchronous data...
Jonathan Piat, Shuvra S. Bhattacharyya, Mickaë...
SCP
1998
138views more  SCP 1998»
14 years 9 months ago
A Hierarchy of Constraint Systems for Data-Flow Analysis of Constraint Logic-Based Languages
Many interesting analyses for constraint logic-based languages are aimed at the detection of monotonic properties, that is to say, properties that are preserved as the computation...
Roberto Bagnara