2730 search results - page 296 / 546 » An Abstract Model for Process Mediation |
166
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In the aftermath of a large-scale disaster, agents’ decisions derive from self-interested (e.g. survival), common-good (e.g. victims’ rescue) and teamwork (e.g. fire...
175
click to vote
CICLING
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a linguistically-motivated sub-sentential alignment system that extends the intersected IBM Model 4 word alignments. The alignment system is chunk-driven and r...
189
click to vote
TACS
1994
Springer
15 years 10 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
161
click to vote
DEXAW
2003
IEEE
15 years 12 months ago
2003
IEEE
In this work we consider ontologies as knowledge structures that specify terms, their properties and relations among them to enable knowledge extraction from texts. We represent o...
192
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...