330 search results - page 49 / 66 » Algorithms for Propositional Model Counting |
VISUALIZATION
2002
IEEE
15 years 2 months ago
2002
IEEE
Interactive visualization of large digital elevation models is of continuing interest in scientific visualization, GIS, and virtual reality applications. Taking advantage of the r...
WD
2010
14 years 7 months ago
2010
Gossip-based epidemic protocols are used to aggregate data in distributed systems. This fault-tolerant approach does neither require maintenance of any global network state nor kno...
CEC
2010
IEEE
14 years 10 months ago
2010
IEEE
This work explores the use of clustering objectives in a Multi-Objective Genetic Algorithm (MOGA) for both, feature selection and cluster count optimization, under the application...
ISAAC
1998
Springer
15 years 1 months ago
1998
Springer
Abstract. A fundamental problem in computational biology is the determination of the correct species tree for a set of taxa given a set of possibly contradictory gene trees. In rec...
INFOCOM
2009
IEEE
15 years 4 months ago
2009
IEEE
—We consider the offline version of the routing and wavelength assignment (RWA) problem in transparent all-optical networks. In such networks and in the absence of regenerators, ...