3319 search results - page 618 / 664 » Subshifts, Languages and Logic |
ICWS
2004
IEEE
13 years 9 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
IKE
2004
13 years 9 months ago
2004
Flexible and effective indexing of video data so as to render it useful in automated inference and datadriven knowledge acquisition is a key problem in knowledge engineering. In t...
DAGSTUHL
1996
13 years 9 months ago
1996
A supercompiler is a program which can performa deep transformation of programsusing a principle which is similarto partial evaluation, and can be referred to as metacomputation. ...
DEXA
2010
Springer
13 years 8 months ago
2010
Springer
With the development of more expressive description logics (DLs) for the Web Ontology Language OWL the question arises how we can properly deal with the high computational complexi...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The Windows Vista operating system implements an interesting model of multi-level integrity. We observe that in this model, trusted code must participate in any information-flow a...