Sciweavers

432 search results - page 55 / 87
» An Approach To Multilevel Semantics For Applied Systems
Sort
View
EMNLP
2009
13 years 5 months ago
Multilingual Spectral Clustering Using Document Similarity Propagation
We present a novel approach for multilingual document clustering using only comparable corpora to achieve cross-lingual semantic interoperability. The method models document colle...
Dani Yogatama, Kumiko Tanaka-Ishii
ICSOC
2009
Springer
13 years 5 months ago
Towards Ontology Matching for Intelligent Gadgets
The FAST gadget development environment allows users to graphically compose intelligent, i.e., semantically annotated gadgets from predefined building blocks and deploy them on var...
Oszkar Ambrus, Knud Möller, Siegfried Handsch...
JAPLL
2008
121views more  JAPLL 2008»
13 years 7 months ago
Reasoning with prioritized information by iterative aggregation of distance functions
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
Ofer Arieli
AIME
2009
Springer
13 years 11 months ago
Modeling Clinical Guidelines through Petri Nets
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
Marco Beccuti, Alessio Bottrighi, Giuliana Frances...
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
14 years 1 months ago
Model Checking C Programs Using F-SOFT
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Mala...