805 search results - page 122 / 161 » On the Semantics of Conditional Commitment |
108
click to vote
ENTCS
2007
15 years 4 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
132
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. This paper proposes a global escape mechanism which can handle unexpected or unwanted conditions changing the default execution of distributed communicational flows, pres...
142
click to vote
ACL
2009
15 years 2 months ago
2009
This paper presents a novel metric-based framework for the task of automatic taxonomy induction. The framework incrementally clusters terms based on ontology metric, a score indic...
260
click to vote
AUTOMATICA
2011
14 years 11 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
212
click to vote
AAMAS
2012
Springer
14 years 6 days ago
2012
Springer
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To provide empathic capabilitie...