5456 search results - page 161 / 1092 » A study of Object Evolution |
187
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
In Multi-Objective Problems (MOPs) involving uncertainty, each solution might be associated with a cluster of performances in the objective space depending on the possible scenari...
197
click to vote
ICDE
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—Most objects and data in the real world are interconnected, forming complex, heterogeneous but often semistructured information networks. However, many database research...
160
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
: Cross-match spatially clusters and organizes several astronomical point-source measurements from one or more surveys. Ideally, each object would be found in each survey. Unfortun...
198
click to vote
ICDCS
2008
IEEE
16 years 25 days ago
2008
IEEE
A multi-object operation incurs communication or synchronization overhead when the requested objects are distributed over different nodes. The object pair correlations (the probab...
117
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper is a case study in combining theorem provers. We define a derived rule in HOL-Light, CVC PROVE, which calls CVC Lite and translates the resulting proof object back to HO...