Sciweavers

2539 search results - page 53 / 508
» Semantic frameworks for e-government
Sort
View
RTA
2010
Springer
15 years 3 months ago
A Rewriting Logic Semantics Approach to Modular Program Analysis
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on deļ...
Mark Hills, Grigore Rosu
COLCOM
2008
IEEE
15 years 1 months ago
SelectAudit: A Secure and Efficient Audit Framework for Networked Virtual Environments
Networked virtual environments (NVE) refer to the category of distributed applications that allow a large number of distributed users to interact with one or more central servers i...
Tuan Phan, Danfeng (Daphne) Yao
EMNLP
2007
15 years 1 months ago
Using Semantic Roles to Improve Question Answering
Shallow semantic parsing, the automatic identification and labeling of sentential constituents, has recently received much attention. Our work examines whether semantic role info...
Dan Shen, Mirella Lapata
ENTCS
2008
120views more  ENTCS 2008»
14 years 12 months ago
Stochastic Bigraphs
In this paper we present a stochastic semantics for Bigraphical Reactive Systems. A reduction and a labelled stochastic semantics for bigraphs are defined. As a sanity check, we p...
Jean Krivine, Robin Milner, Angelo Troina
COMMA
2010
14 years 6 months ago
Towards (Probabilistic) Argumentation for Jury-based Dispute Resolution
Abstract. We propose an argumentation framework for modelling jury-based dispute resolution where the dispute parties present their arguments before a judge and a jury. While the j...
Phan Minh Dung, Phan Minh Thang