Sciweavers

3954 search results - page 542 / 791
» Image-based Model Completion
Sort
View
IS
2006
15 years 4 months ago
Composition of Semantic Web services using Linear Logic theorem proving
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
Jinghai Rao, Peep Küngas, Mihhail Matskin
CSDA
2007
151views more  CSDA 2007»
15 years 4 months ago
Robust semiparametric mixing for detecting differentially expressed genes in microarray experiments
An important goal of microarray studies is the detection of genes that show significant changes in observed expressions when two or more classes of biological samples such as tre...
Marco Alfò, Alessio Farcomeni, Luca Tardell...
JETAI
2006
63views more  JETAI 2006»
15 years 4 months ago
Principled exploitation of behavioural coupling
In robot building, attention tends to focus on internal signal processing and the way desired motor signals are generated. But equally important is the selection and configuration...
Chris Thornton
JWSR
2008
145views more  JWSR 2008»
15 years 4 months ago
An Access-Control Framework for WS-BPEL
Business processes, the next-generation workflows, have attracted considerable research interest in the last 15 years. More recently, several XML-based languages have been propose...
Federica Paci, Elisa Bertino, Jason Crampton
JSA
2006
86views more  JSA 2006»
15 years 4 months ago
The design and utility of the ML-RSIM system simulator
Execution-driven simulation has become the primary method for evaluating architectural techniques as it facilitates rapid design space exploration without the cost of building pro...
Lambert Schaelicke, Michael Parker