3495 search results - page 228 / 699 » On the random satisfiable process |
222
click to vote
APAQS
2001
IEEE
15 years 11 months ago
2001
IEEE
Program quality represents the most significant part of software quality control that assures all characteristics of software products to satisfy the user's explicit and impl...
188
click to vote
SDM
2007
SIAM
15 years 8 months ago
2007
SIAM
We present an efficient dynamic algorithm for clustering undirected graphs, whose edge property is changing continuously. The algorithm maintains clusters of high quality in pres...
185
click to vote
MIC
2003
15 years 8 months ago
2003
The paper deals with the discrete event simulation of a modular assembly plant for automotive derivation boxes. A simulation package has been developed in objectoriented language ...
166
click to vote
IM
1997
15 years 8 months ago
1997
The deployment of service management systems in a multi-service environment opens a whole area of issues. Requirements for openness and reusability can be satisfied by following a...
159
click to vote
COLING
1990
15 years 8 months ago
1990
2 This paper analyzes the structural features of naturally-occurring extended explanations and argues that current generation methodologies are inadequate for determining high-leve...