1699 search results - page 275 / 340 » On the Expressive Power of QLTL |
175
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
168
click to vote
BPM
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. In this paper we examine the suitability of the Business Process Modelling Notation (BPMN) for business process modelling, using the Workflow Patterns as an evaluation fr...
151
click to vote
DSN
2004
IEEE
15 years 9 months ago
2004
IEEE
In this paper we introduce the logic asCSL, an extension of continuous stochastic logic (CSL), which provides powerful means to characterise execution paths of action- and state-l...
167
click to vote
DCOSS
2006
Springer
15 years 9 months ago
2006
Springer
The scope of wireless sensor network (WSN) applications has traditionally been restricted by physical sensor coverage and limited computational power. Meanwhile, IP networks like t...
186
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Recent work on Semantic Role Labeling (SRL) has shown that syntactic information is critical to detect and extract predicate argument structures. As syntax is expressed by means of...