3799 search results - page 386 / 760 » An Engineering Approach to Formal Methods |
189
click to vote
CNL
2009
15 years 8 months ago
2009
Abstract. Clinicians could benefit from decision support systems incorporating the knowledge contained in clinical practice guidelines. However, the unstructured form of these guid...
190
click to vote
IJPRAI
2000
15 years 6 months ago
2000
As Bayesian networks become widely accepted as a normative formalism for diagnosis based on probabilistic knowledge, they are applied to increasingly larger problem domains. These...
270
click to vote
SEMWEB
2010
Springer
15 years 1 months ago
2010
Springer
One of the key deficiencies of the Semantic Web is its lack of cognitive plausibility. We argue that by accounting for people's reasoning mechanisms and cognitive representati...
166
click to vote
KBSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...
184
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
The problem of estimating an illumination distribution from images is called inverse lighting. For inverse lighting, three approaches have been developed based on specular reflect...