Sciweavers

1205 search results - page 130 / 241
» Conservativity in Structured Ontologies
Sort
View
NAR
2006
119views more  NAR 2006»
15 years 6 months ago
HHsenser: exhaustive transitive profile search using HMM-HMM comparison
HHsenser is the first server to offer exhaustive intermediate profile searches, which it combines with pairwise comparison of hidden Markov models. Starting from a single protein ...
Johannes Söding, Michael Remmert, Andreas Bie...
TCAD
2008
97views more  TCAD 2008»
15 years 6 months ago
Encoding Large Asynchronous Controllers With ILP Techniques
State encoding is one of the most difficult problems in the synthesis of asynchronous controllers. This paper presents a method that can solve the problem of large controllers spec...
Josep Carmona, Jordi Cortadella
WWW
2006
ACM
16 years 7 months ago
Constructing virtual documents for ontology matching
On the investigation of linguistic techniques used in ontology matching, we propose a new idea of virtual documents to pursue a cost-effective approach to linguistic matching in t...
Yuzhong Qu, Wei Hu, Gong Cheng
TSD
2007
Springer
16 years 16 days ago
Lexical and Perceptual Grounding of a Sound Ontology
Sound ontologies need to incorporate source unidentifiable sounds in an adequate and consistent manner. Computational lexical resources like WordNet have either inserted these des...
Anna Lobanova, Jennifer Spenader, Bea Valkenier
AO
2007
119views more  AO 2007»
15 years 6 months ago
The model of roles within an ontology development tool: Hozo
One of the major goals of ontology is to represent properly the underlying conceptual structure of the messy world reflecting the reality as much as possible. Ontology building to...
Riichiro Mizoguchi, Eiichi Sunagawa, Kouji Kozaki,...