Sciweavers

646 search results - page 58 / 130
» Case Adaptation in a Case-based Process Planning System
Sort
View
JAR
1998
134views more  JAR 1998»
14 years 9 months ago
Integrating Computer Algebra into Proof Planning
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
Manfred Kerber, Michael Kohlhase, Volker Sorge
MKWI
2008
112views Business» more  MKWI 2008»
14 years 11 months ago
On the Role of Communication, Documentation and Experience during System Testing - An Interview Study
: The quality of business software is more and more becoming a competitive factor. As complete testing is impossible, testers have to make decisions, e.g. to choose which parts of ...
Timea Illes-Seifert, Barbara Paech
DAWAK
2009
Springer
15 years 2 months ago
Arguing from Experience to Classifying Noisy Data
A process, based on argumentation theory, is described for classifying very noisy data. More specifically a process founded on a concept called “arguing from experience” is des...
Maya Wardeh, Frans Coenen, Trevor J. M. Bench-Capo...
IEAAIE
2005
Springer
15 years 3 months ago
A Holistic Approach to Test-Driven Model Checking
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
Fevzi Belli, Baris Güldali
IJCNN
2007
IEEE
15 years 4 months ago
Adaptive Dynamic Modularity in a Connectionist Model of Context-Dependent Idea Generation
Abstract— Cognitive control - the ability to produce appropriate behavior in complex situations - is a fundamental aspect of intelligence. It is increasingly evident that this co...
Simona Doboli, Ali A. Minai, Vincent R. Brown