Sciweavers

626 search results - page 101 / 126
» The Automatic Interpretation of Nominalizations
Sort
View
CORR
2008
Springer
144views Education» more  CORR 2008»
13 years 7 months ago
Modular Compilation of a Synchronous Language
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
Annie Ressouche, Daniel Gaffé, Valér...
DKE
2008
114views more  DKE 2008»
13 years 7 months ago
Proof explanation for a nonmonotonic Semantic Web rules language
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresi...
BMCBI
2006
108views more  BMCBI 2006»
13 years 7 months ago
NOXclass: prediction of protein-protein interaction types
Background: Structural models determined by X-ray crystallography play a central role in understanding protein-protein interactions at the molecular level. Interpretation of these...
Hongbo Zhu, Francisco S. Domingues, Ingolf Sommer,...
JCP
2008
104views more  JCP 2008»
13 years 7 months ago
Process Planning Knowledge Discovery Based on CAPP Database for Mechanical Manufacturing Enterprise
Knowledge discovery in database have been attracting a significant amount of research, industry attention in recent years. Process planning knowledge (PPK) is one of the most impor...
Xiaoliang Jia, Zhenming Zhang, Xitian Tian
JNW
2008
171views more  JNW 2008»
13 years 7 months ago
The Necessity of Semantic Technologies in Grid Discovery
Service discovery and its automation are some of the key features that a large scale, open distributed system must provide so that clients and users may take advantage of shared re...
Serena Pastore