2688 search results - page 52 / 538 » A formal semantics for P3P |
SKG
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we propose the Semantic Information Model for Digital Libraries - DLOnto based on the theory of the Semantic Web, and give the formalized definition of and relative ...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
With the current demonstrator, we present an implementation of formal argumentation that is not only able to evaluate an argument according to standard argumentation semantics, bu...
ACL
2009
13 years 5 months ago
2009
This paper describes our system for generating Chinese aspect expressions. In the system, the semantics of different aspects is characterized by specific temporal and conceptual f...
ISPDC
2003
IEEE
14 years 27 days ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
Semantic Portal is the next generation of web portals that are powered by Semantic Web technologies for improved information sharing and exchange for a community of users. Current...