10038 search results - page 417 / 2008 » Model Checking for Managers |
176
click to vote
UDM
2005
IEEE
16 years 13 days ago
2005
IEEE
This paper proposes to model and represent an object’s digital persona by means of a conceptual model that uses fragments of schemata that are termed data-DNA. The object may be...
145
click to vote
IWMM
2000
Springer
15 years 10 months ago
2000
Springer
We extend Tofte and Talpin's region-based model for memory management to support backtracking and cuts, which makes it suitable for use with Prolog and other logic programmin...
199
Voted
EWSPT
1998
Springer
15 years 11 months ago
1998
Springer
Most traditional approaches to process modelling do not provide an analysis of critical human resources and their impact(s) on project performance and output quality. However, the ...
175
click to vote
ICML
1996
IEEE
16 years 7 months ago
1996
IEEE
This paper discusses issues related to Bayesian network model learning for unbalanced binary classification tasks. In general, the primary focus of current research on Bayesian ne...