3233 search results - page 64 / 647 » Validation Method for Intelligent Systems |
152
click to vote
ER
2008
Springer
15 years 4 months ago
2008
Springer
Abstract Although most workflow management systems nowadays offer graphical editors for process modeling, the learning curve is still too steep for users who are unexperienced in p...
LFCS
2009
Springer
15 years 9 months ago
2009
Springer
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...
112
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Few genetic factors predisposing to the sporadic form of amyotrophic lateral sclerosis (ALS) have been identified, but the pathology itself seems to be a true multifac...
124
click to vote
FLAIRS
2001
15 years 3 months ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...
148
click to vote
WWW
2003
ACM
16 years 3 months ago
2003
ACM
The large amount of information now available on the Web can play a prominent role in building a cooperative intelligent distance learning environment. We propose a system to prov...