489 search results - page 25 / 98 » A Formal Model for Process Context Learning |
101
click to vote
CONCUR
2006
Springer
15 years 3 months ago
2006
Springer
One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to the correctness query by a counterexample to the satisfaction of the...
114
click to vote
COOPIS
2002
IEEE
15 years 4 months ago
2002
IEEE
This paper presents a specifically database-inspired approach (called DOGMA) for engineering formal ontologies, implemented as shared resources used to express agreed formal semant...
164
click to vote
ER
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. User preferences are a fundamental ingredient of personalized database applications, in particular those in which the user context plays a key role. Given a set of prefer...
ECCV
2004
Springer
16 years 1 months ago
2004
Springer
We present a vision based, adaptive, decision theoretic model of human facial displays in interactions. The model is a partially observable Markov decision process, or POMDP. A POM...
120
click to vote
TSE
2010
14 years 10 months ago
2010
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...