5251 search results - page 832 / 1051 » A Framework for Ontology Integration |
219
click to vote
CSL
2010
Springer
15 years 8 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
225
click to vote
BMCBI
2006
2006
A Regression-based K nearest neighbor algorithm for gene function prediction from heterogeneous data
15 years 7 months ago
Background: As a variety of functional genomic and proteomic techniques become available, there is an increasing need for functional analysis methodologies that integrate heteroge...
239
click to vote
MIS
2008
Springer
15 years 7 months ago
2008
Springer
The IEEE 802.16 standard provides a specification for a fixed and mobile broadband wireless access system, offering high data rate transmission of multimedia services with differen...
211
click to vote
TOG
2008
15 years 7 months ago
2008
We propose a novel solid/fluid coupling method that treats the coupled system in a fully implicit manner making it stable for arbitrary time steps, large density ratios, etc. In c...
150
click to vote
GI
2007
Springer
16 years 1 months ago
2007
Springer
: Aufgrund juristisch formulierter und damit h¨aufig schwer verst¨andlicher Pr¨ufungsordnungen haben viele Studierende Probleme, ihr Studium gem¨aß ihrer Pr¨ufungsordnung f...