5456 search results - page 161 / 1092 » A study of Object Evolution |
141
Voted
GECCO
2008
Springer
15 years 4 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...
152
Voted
ICDE
2012
IEEE
13 years 6 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...
120
click to vote
CORR
2007
Springer
15 years 3 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...
151
Voted
ICDCS
2008
IEEE
15 years 10 months 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...
88
Voted
ENTCS
2006
15 years 3 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...