Sciweavers

356 search results - page 54 / 72
» Representation and Reasoning with Attributive Descriptions
Sort
View
CCS
2010
ACM
13 years 6 months ago
Adjustable autonomy for cross-domain entitlement decisions
Cross-domain information exchange is a growing problem, as business and governmental organizations increasingly need to integrate their information systems with those of partially...
Jacob Beal, Jonathan Webb, Michael Atighetchi
WWW
2002
ACM
14 years 9 months ago
Simulation, verification and automated composition of web services
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...
Srini Narayanan, Sheila A. McIlraith
SEMWEB
2004
Springer
14 years 1 months ago
Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment
In this paper we describe our experience in applying KAoS services to ensure policy compliance for Semantic Web Services workflow composition and enactment. We are developing thes...
Andrzej Uszok, Jeffrey M. Bradshaw, Renia Jeffers,...
WIAMIS
2009
IEEE
14 years 3 months ago
Towards fully un-supervised methods for generating object detection classifiers using social data
In this work a framework for constructing object detection classifiers using weakly annotated social data is proposed. Social information is combined with computer vision techniq...
Spiros Nikolopoulos, Elisavet Chatzilari, Eirini G...
APLAS
2006
ACM
14 years 2 months ago
Proof Abstraction for Imperative Languages
straction for Imperative Languages William L. Harrison Dept. of Computer Science, University of Missouri, Columbia, Missouri, USA. ty in programming language semantics derives fro...
William L. Harrison