481 search results - page 77 / 97 » Validity of First-Order Knowledge Bases |
BPM
2008
Springer
13 years 9 months ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...
CVPR
2005
IEEE
13 years 9 months ago
2005
IEEE
The segmentation of anatomical structures has been traditionally formulated as a perceptual grouping task, and solved through clustering and variational approaches. However, such ...
FGR
2008
IEEE
13 years 9 months ago
2008
IEEE
Data collected through a recent web-based survey show that the perception (i.e. labeling) of a human facial expression by a human observer is a subjective process, which results i...
LREC
2008
13 years 9 months ago
2008
Many NLP modules and applications require the availability of a module for wide-coverage inflectional analysis. One way to obtain such analyses is to use an morphological analyser...
ISTA
2004
13 years 9 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...