Sciweavers

1887 search results - page 143 / 378
» Annotation Framework Validation Using Domain Models
Sort
View
ICC
2007
IEEE
148views Communications» more  ICC 2007»
15 years 9 months ago
On Connectivity and Capacity of Wireless Mesh Networks
—Wireless Mesh Networks represent an interesting technology due to their reliability, broad coverage and relatively easy and inexpensive scalability. The architecture is mainly a...
Ernesto Miorando, Fabrizio Granelli
WSC
2008
15 years 5 months ago
Using OMG'S SYSML to support simulation
Currently, system engineering problems are solved using a wide range of domain-specific models and corresponding languages. It is unlikely that a single unified modeling language ...
Christiaan J. J. Paredis, Thomas Johnson
BMCBI
2010
105views more  BMCBI 2010»
15 years 3 months ago
The Neural/Immune Gene Ontology: clipping the Gene Ontology for neurological and immunological systems
Background: The Gene Ontology (GO) is used to describe genes and gene products from many organisms. When used for functional annotation of microarray data, GO is often slimmed by ...
Nophar Geifman, Alon Monsonego, Eitan Rubin
SEMWEB
2010
Springer
15 years 1 months ago
A Feature and Information Theoretic Framework for Semantic Similarity and Relatedness
Abstract. Semantic similarity and relatedness measures between ontology concepts are useful in many research areas. While similarity only considers subsumption relations to assess ...
Giuseppe Pirrò, Jérôme Euzenat
CP
2008
Springer
15 years 5 months ago
CPBPV: A Constraint-Programming Framework for Bounded Program Verification
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
Hélène Collavizza, Michel Rueher, Pa...