Sciweavers

634 search results - page 83 / 127
» Groundwork for Weak Analysis
Sort
View
DKE
2002
218views more  DKE 2002»
15 years 1 months ago
Computing iceberg concept lattices with T
We introduce the notion of iceberg concept lattices and show their use in knowledge discovery in databases. Iceberg lattices are a conceptual clustering method, which is well suit...
Gerd Stumme, Rafik Taouil, Yves Bastide, Nicolas P...
108
Voted
JAR
2000
123views more  JAR 2000»
15 years 1 months ago
Local Search Algorithms for SAT: An Empirical Evaluation
Local search algorithms are among the standard methods for solving hard combinatorial problems from various areas of Artificial Intelligence and Operations Research. For SAT, some ...
Holger H. Hoos, Thomas Stützle
JSS
2002
90views more  JSS 2002»
15 years 1 months ago
Producing reliable software: an experiment
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
Carol Smidts, Xin Huang, James C. Widmaier
112
Voted
RE
2008
Springer
15 years 1 months ago
A Case Study in Eliciting Scalability Requirements
Scalability is widely recognized as an important software quality, but it is a quality that historically has lacked a consistent and systematic treatment. To address this problem,...
Leticia Duboc, Emmanuel Letier, David S. Rosenblum...
83
Voted
JCC
2010
87views more  JCC 2010»
15 years 11 days ago
Crystal contacts as nature's docking solutions
The assumption that crystal contacts reflect natural macromolecular interactions makes a basis for many studies in structural biology. However, the crystal state may correspond t...
Evgeny B. Krissinel