Sciweavers

4325 search results - page 842 / 865
» Incremental computation with names
Sort
View
AI
2010
Springer
14 years 11 months ago
Implementing logical connectives in constraint programming
Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language...
Christopher Jefferson, Neil C. A. Moore, Peter Nig...
ALGORITHMICA
2010
154views more  ALGORITHMICA 2010»
14 years 11 months ago
On the Convergence of Multicast Games in Directed Networks
We investigate the convergence of the price of anarchy after a limited number of moves in the classical multicast communication game when the underlying communication networks is ...
Angelo Fanelli, Michele Flammini, Luca Moscardelli
ASC
2010
14 years 11 months ago
Genotype representations in grammatical evolution
Grammatical evolution (GE) is a form of grammar-based genetic programming. A particular feature of GE is that it adopts a distinction between the genotype and phenotype similar to...
Jonatan Hugosson, Erik Hemberg, Anthony Brabazon, ...
BMCBI
2010
190views more  BMCBI 2010»
14 years 11 months ago
APIS: accurate prediction of hot spots in protein interfaces by combining protrusion index with solvent accessibility
Background: It is well known that most of the binding free energy of protein interaction is contributed by a few key hot spot residues. These residues are crucial for understandin...
Jun-Feng Xia, Xing-Ming Zhao, Jiangning Song, De-S...
BMCBI
2010
153views more  BMCBI 2010»
14 years 11 months ago
VITCOMIC: visualization tool for taxonomic compositions of microbial communities based on 16S rRNA gene sequences
Background: Understanding the community structure of microbes is typically accomplished by sequencing 16S ribosomal RNA (16S rRNA) genes. These community data can be represented b...
Hiroshi Mori, Fumito Maruyama, Ken Kurokawa