2373 search results - page 224 / 475 » Modelling Facial Behaviours |
162
click to vote
LPAR
2001
Springer
15 years 10 months ago
2001
Springer
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the be...
129
click to vote
CAAP
1990
15 years 10 months ago
1990
act We show how to modelize concurrency between several processors in terms of automata and Markov chains; then, we define a concurrency measure which reflects more faithfully the ...
169
click to vote
BPM
2005
Springer
15 years 8 months ago
2005
Springer
: We present a framework for augmenting business process specifications with policy expressions such as obligations, permissions and prohibitions. One use of such a combined model ...
137
click to vote
CASCON
2006
15 years 7 months ago
2006
Autonomic computing systems reduce software maintenance costs and management complexity by taking on the responsibility for their configuration, optimization, healing, and protect...
179
click to vote
DLOG
2000
15 years 7 months ago
2000
We describe a mechanism that can be used to drive interfaces from a description logic (DL) model of the domain. A simple layer with limited expressivity sits on top of the DL, wit...