5726 search results - page 154 / 1146 » Supporting annotations on relations |
ICFP
2006
ACM
14 years 10 months ago
2006
ACM
Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference engine is guided by programmer-supplied type annot...
IRI
2009
IEEE
14 years 5 months ago
2009
IEEE
Formulating and executing queries over distributed, autonomous and heterogeneous resources is an important research area. The advent of the Internet and the Web and their inherent...
SEMWIKI
2008
14 years 6 days ago
2008
Although the Semantic Web vision is gaining momentum and the underlying technologies are used in many different areas, there still seems to be no agreement on how they should be us...
ICWS
2003
IEEE
14 years 5 days ago
2003
IEEE
With the increasing growth in popularity of Web services, discovery of relevant Web services becomes a significant challenge. One approach is to develop semantic Web services wher...
COSIT
2003
Springer
14 years 4 months ago
2003
Springer
Because diagrams are often created incrementally, a qualitative diagrammatic reasoning system must dynamically manage a potentially large set of spatial interpretations. This pape...