9842 search results - page 1530 / 1969 » The Complexity of the Matching-Cut Problem |
222
click to vote
IJCAI
2003
15 years 8 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
205
click to vote
ISPE
2003
15 years 8 months ago
2003
ABSTRACT: In the context of Internet-based applications where heterogeneous, legacy entities should integrate and cooperate, the efficiency of the software production process is a ...
184
click to vote
LISA
2003
15 years 8 months ago
2003
Often network components work correctly, yet end-to-end services don’t. This happens if configuration parameters of components are set to incorrect values. Configuration is a fu...
185
click to vote
WSCG
2004
15 years 8 months ago
2004
The extension of our research on analysis of a single agent or agent communities combining advanced methods of visualization with traditional AI techniques is presented in this pa...
166
click to vote
SERP
2003
15 years 8 months ago
2003
Different advances have been made in the development of software process improvement (SPI) standards and models, e.g. capability maturity model (CMM), more recently CMMI, and ISO...