Sciweavers

1835 search results - page 234 / 367
» Classifying Description Logics
Sort
View
148
Voted
JMLR
2010
136views more  JMLR 2010»
14 years 11 months ago
Predicting the functions of proteins in Protein-Protein Interaction networks from global information
In this work we present a novel approach to predict the function of proteins in protein-protein interaction (PPI) networks. We classify existing approaches into inductive and tran...
Hossein Rahmani, Hendrik Blockeel, Andreas Bender
140
Voted
TCS
2010
15 years 2 months ago
On the complexities of consistency checking for restricted UML class diagrams
Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical consistency easily. This paper focus...
Ken Kaneiwa, Ken Satoh
124
Voted
JAIR
2010
145views more  JAIR 2010»
15 years 2 months ago
On Action Theory Change
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...
Ivan José Varzinczak
ICPR
2006
IEEE
16 years 5 months ago
Invariant Features for 3D-Data based on Group Integration using Directional Information and Spherical Harmonic Expansion
Due to the increasing amount of 3D data for various applications there is a growing need for classification and search in such databases. As the representation of 3D objects is no...
Marco Reisert, Hans Burkhardt
IPPS
2008
IEEE
15 years 10 months ago
Assuring information quality in e-Science
In this paper we outline a framework for assuring information quality (IQ) in an e-Science context, using semiotics theory, semantic explanation of resources, and data couplings. ...
Ying Su, Zhanming Jin, Jie Peng