Sciweavers

19798 search results - page 31 / 3960
» Is Structural Subtyping Useful
Sort
View
GCC
2003
Springer
14 years 28 days ago
Toward the Composition of Semantic Web Services
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
Jinghai Rao, Xiaomeng Su
BMCBI
2006
153views more  BMCBI 2006»
13 years 7 months ago
Cancer diagnosis marker extraction for soft tissue sarcomas based on gene expression profiling data by using projective adaptive
Background: Recent advances in genome technologies have provided an excellent opportunity to determine the complete biological characteristics of neoplastic tissues, resulting in ...
Hiro Takahashi, Takeshi Nemoto, Teruhiko Yoshida, ...
SIGSOFT
2007
ACM
14 years 8 months ago
Object and reference immutability using java generics
A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This paper presents Immutability Generic Java (IGJ), a n...
Yoav Zibin, Alex Potanin, Mahmood Ali, Shay Artzi,...
WWW
2001
ACM
14 years 8 months ago
A unified constraint model for XML
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
Gabriel M. Kuper, Jérôme Siméo...