15792 search results - page 193 / 3159 » Computational Abstraction Steps |
145
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. To make effective use of distributed information, it is desirable to allow coordination and collaboration among various information sources. This paper deals with cluster...
141
click to vote
GECCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Although evolutionary algorithms (EAs) are often successfully used for the optimization of dynamically changing objective function, there are only very few theoretical re...
192
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
146
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The use of a medical guideline can be seen as the execution of computational tasks, sequentially or in parallel, in the face of patient data. It has been shown that many ...
135
click to vote
KDD
1995
ACM
15 years 9 months ago
1995
ACM
An attribute-oriented rough set method for knowledgediscovery in databases is described. Themethodis based on information generalization, whichexaminesthe data at various levels o...