Sciweavers

919 search results - page 90 / 184
» Improved analysis methods for crossover-based algorithms
Sort
View
SIGECOM
2011
ACM
219views ECommerce» more  SIGECOM 2011»
14 years 6 months ago
GSP auctions with correlated types
The Generalized Second Price (GSP) auction is the primary method by which sponsered search advertisements are sold. We study the performance of this auction in the Bayesian settin...
Brendan Lucier, Renato Paes Leme
155
Voted
FM
2008
Springer
152views Formal Methods» more  FM 2008»
15 years 5 months ago
Constraint Prioritization for Efficient Analysis of Declarative Models
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
Engin Uzuncaova, Sarfraz Khurshid
152
Voted
BMCBI
2011
14 years 10 months ago
OrthoInspector: comprehensive orthology analysis and visual exploration
Background: The accurate determination of orthology and inparalogy relationships is essential for comparative sequence analysis, functional gene annotation and evolutionary studie...
Benjamin Linard, Julie D. Thompson, Olivier Poch, ...
119
Voted
CAIP
2007
Springer
209views Image Analysis» more  CAIP 2007»
15 years 9 months ago
Delaunay-Based Vector Segmentation of Volumetric Medical Images
The image segmentation plays an important role in medical image processing. Many segmentation algorithms exist. Most of them produce raster data which is not suitable for 3D geomet...
Michal Spanel, Premysl Krsek, Miroslav Svub, V&iac...
143
Voted
BMCBI
2007
124views more  BMCBI 2007»
15 years 3 months ago
Analysis on multi-domain cooperation for predicting protein-protein interactions
Background: Domains are the basic functional units of proteins. It is believed that protein-protein interactions are realized through domain interactions. Revealing multi-domain c...
Rui-Sheng Wang, Yong Wang, Ling-Yun Wu, Xiang-Sun ...