1289 search results - page 86 / 258 » Semantic Annotations for WS-Policy |
BMCBI
2008
13 years 9 months ago
2008
Currently, most of the discovered biological and biomedical knowledge is available as textual data in scientific papers. And, locating and curating information about a genomic enti...
MIR
2005
ACM
14 years 2 months ago
2005
ACM
In this paper, we will propose a novel semi-automatic annotation scheme for video semantic classification. It is well known that the large gap between high-level semantics and low...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
As the amount of data being generated in biology has increased, a major challenge has been how to store and represent this data in a way that makes it easily accessible to researc...
RTA
2010
Springer
14 years 20 days ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
IEEEHPCS
2010
13 years 7 months ago
2010
Model checking is a formal veriļ¬cation method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...