6757 search results - page 817 / 1352 » Knowledge Analysis on Process Models |
213
click to vote
JMLR
2010
15 years 1 months ago
2010
Machine learning methods that can use additional knowledge in their inference process are central to the development of integrative bioinformatics. Inclusion of background knowled...
153
click to vote
SAS
2001
Springer
15 years 10 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...
197
click to vote
JAIR
2006
15 years 6 months ago
2006
A decision process in which rewards depend on history rather than merely on the current state is called a decision process with non-Markovian rewards (NMRDP). In decisiontheoretic...
149
click to vote
CHI
2002
ACM
16 years 6 months ago
2002
ACM
We have developed a 3D sound system for headphones that allows real-time sound source and user displacement in a virtual acoustic environment. Because of a flexible design that us...
172
click to vote
IPC
2007
IEEE
16 years 20 days ago
2007
IEEE
Current research in distributed systems focuses on object group models which are designed for scalable systems and provide accessible objects to the entire group. However, dynamic...