280 search results - page 46 / 56 » On the Semantic Relationship between Datalog and Description... |
PEPM
2009
ACM
14 years 5 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
IJCNLP
2005
Springer
14 years 1 months ago
2005
Springer
Automatic image annotation is a newly developed and promising technique to provide semantic image retrieval via text descriptions. It concerns a process of automatically labeling t...
DAGSTUHL
2006
13 years 9 months ago
2006
Search and retrieval of specific musical content such as emotive or sonic features has become an important aspect of Music Information Retrieval system development, but only little...
FGCS
2007
13 years 8 months ago
2007
The integration of Web services is a recent outgrowth of the Business Process integration field that will require powerful meta-schema mechanisms supported by higher level abstra...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...