Sciweavers

2776 search results - page 28 / 556
» System-Level Abstraction Semantics
Sort
View
MEMOCODE
2005
IEEE
14 years 2 months ago
Extended abstract: a race-free hardware modeling language
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
Patrick Schaumont, Sandeep K. Shukla, Ingrid Verba...
CORR
2010
Springer
56views Education» more  CORR 2010»
13 years 9 months ago
Grammar-Based Geodesics in Semantic Networks
efined abstract representation of a semantic path that respects the ontological classes of a particular semantic network. A discrete "walker" utilizes the grammar to dete...
Marko A. Rodriguez, Jennifer H. Watkins
ECAI
2004
Springer
14 years 2 months ago
Identifying Relational Concept Lexicalisations by Using General Linguistic Knowledge
Abstract. This paper analyses how general-purpose semantic hierarchies could be helpful in the construction of one-to-many mappings between the coarse-grained relational concepts a...
Maria Teresa Pazienza, Marco Pennacchiotti, Fabio ...
SAMT
2007
Springer
140views Multimedia» more  SAMT 2007»
14 years 3 months ago
Modeling Linguistic Facets of Multimedia Content for Semantic Annotation
Abstract. We provide an integrated ontological framework offering coverage for deep semantic content, including ontological representation of multimedia based on the MPEG-7 standa...
Massimo Romanelli, Paul Buitelaar, Michael Sintek
ENTCS
2010
88views more  ENTCS 2010»
13 years 6 months ago
Range and Set Abstraction using SAT
d Set Abstraction using SAT Edd Barrett Andy King School of Computing, University of Kent, CT2 7NF, UK Symbolic decision trees are not the only way to correlate the relationship b...
Edd Barrett, Andy King