5451 search results - page 457 / 1091 » Typed Operational Semantics |
190
click to vote
CSFW
1998
IEEE
15 years 10 months ago
1998
IEEE
In previous work [16], we give a type system that guarantees that well-typed multithreaded programs are possibilistically noninterfering. If thread scheduling is probabilistic, ho...
191
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
More and more RDF data have been published online to be consumed. Ordinary Web users also expect to experience more intelligent services promised by the Semantic Web, such as objec...
206
click to vote
DALT
2007
Springer
15 years 8 months ago
2007
Springer
Online dispute resolution is becoming the main method when dealing with a conflict in e-commerce. A family of defeasible reasoning patterns is used to provide a useful link betwee...
179
click to vote
ACL
2008
15 years 8 months ago
2008
This paper evaluates the LinGO Grammar Matrix, a cross-linguistic resource for the development of precision broad coverage grammars, by applying it to the Australian language Wamb...
153
click to vote
COLING
2008
15 years 8 months ago
2008
Addressing the task of acquiring semantic relations between events from a large corpus, we first argue the complementarity between the pattern-based relation-oriented approach and...