Sciweavers

1828 search results - page 105 / 366
» From Features to Semantics: Some Preliminary Results
Sort
View
CCIA
2007
Springer
15 years 7 months ago
Agents and Clinical Guidelines: Filling the Semantic Gap
Medical ontologies are developed to solve problems such as the demand for reusing, sharing and transmitting data. The unambiguous communication of complex and detailed medical conc...
David Isern, David Sánchez, Antonio Moreno
CSL
2001
Springer
15 years 6 months ago
Categorical and Kripke Semantics for Constructive S4 Modal Logic
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
Natasha Alechina, Michael Mendler, Valeria de Paiv...
121
Voted
BMVC
2010
14 years 11 months ago
Using Context to Create Semantic 3D Models of Indoor Environments
Semantic 3D models of buildings encode the geometry as well as the identity of key components of a facility, such as walls, floors, and ceilings. Manually constructing such a mode...
Xuehan Xiong, Daniel Huber
BMCBI
2008
178views more  BMCBI 2008»
15 years 1 months ago
A discriminative method for protein remote homology detection and fold recognition combining Top-n-grams and latent semantic ana
Background: Protein remote homology detection and fold recognition are central problems in bioinformatics. Currently, discriminative methods based on support vector machine (SVM) ...
Bin Liu, Xiaolong Wang, Lei Lin, Qiwen Dong, Xuan ...
FUIN
2008
81views more  FUIN 2008»
15 years 1 months ago
A Cancellation Theorem for BCCSP
This paper presents a cancellation theorem for the preorders in van Glabbeek's linear time-branching time spectrum over BCCSP. Apart from having some intrinsic interest, the p...
Luca Aceto, Wan Fokkink, Anna Ingólfsd&oacu...