Sciweavers

620 search results - page 4 / 124
» Verification and Validation and Artificial Intelligence
Sort
View
APN
1997
Springer
13 years 11 months ago
Verification of Workflow Nets
Abstract. Workflow management systems will change the architecture of future information systems dramatically. The explicit representation of business procedures is one of the main...
Wil M. P. van der Aalst
ICTAI
1999
IEEE
13 years 11 months ago
VERITAS - An Application for Knowledge Verification
Jorge Santos, Carlos Ramos, Zita A. Vale, Albino M...
KI
2010
Springer
13 years 2 months ago
Practical Aspects of Automated Deduction for Program Verification
Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, ...
KI
2006
Springer
13 years 7 months ago
Gray Box Robustness Testing of Rule Systems
Due to their simple and intuitive manner rules are often used for the implementation of intelligent systems. Besides general methods for the verification and validation of rule sys...
Joachim Baumeister, Jürgen Bregenzer, Frank P...
BMCBI
2010
104views more  BMCBI 2010»
13 years 7 months ago
Using simple artificial intelligence methods for predicting amyloidogenesis in antibodies
Background: All polypeptide backbones have the potential to form amyloid fibrils, which are associated with a number of degenerative disorders. However, the likelihood that amyloi...
Maria Pamela C. David, Gisela P. Concepcion, Eduar...