Sciweavers

3021 search results - page 167 / 605
» A Domain Engineering Approach for Situational Method Enginee...
Sort
View
ICTAI
1999
IEEE
15 years 8 months ago
Face Detection and Its Applications in Intelligent and Focused Image Retrieval
This paper presents a face detection technique and its applications in image retrieval. Even though this face detection method has relatively high false positives and low detectio...
Zhongfei Zhang, Rohini K. Srihari, Aibing Rao
VMCAI
2009
Springer
15 years 11 months ago
Towards Automatic Stability Analysis for Rely-Guarantee Proofs
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...
Hasan Amjad, Richard Bornat
JOOP
1998
98views more  JOOP 1998»
15 years 4 months ago
Design Patterns as Language Constructs
Design patterns have proven to be very useful for the design of object-oriented systems. The power of design patterns stems from their ability to provide generic solutions to reap...
Jan Bosch
FLAIRS
2009
15 years 2 months ago
A Textual Subgroup Mining Approach for Rapid ARD+ Model Capture
Manual knowledge acquisition is usually a costly and timeconsuming process. Automatic knowledge acquisition methods can then significantly support the knowledge engineer. In this ...
Martin Atzmueller, Grzegorz J. Nalepa
TOOLS
2009
IEEE
15 years 11 months ago
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
Christian Kästner, Sven Apel, Salvador Trujil...