2152 search results - page 261 / 431 » A Comparative Study of 2QBF Algorithms |
156
click to vote
JAIR
2007
15 years 6 months ago
2007
Solution-Guided Multi-Point Constructive Search (SGMPCS) is a novel constructive search technique that performs a series of resource-limited tree searches where each search begins...
166
click to vote
TITB
2008
15 years 6 months ago
2008
Intravascularultrasound (IVUS) sequences recorded in vivo are subject to a wide array of motion artifacts as the majority of these studies are performed within the coronary arterie...
139
click to vote
JCB
2007
15 years 6 months ago
2007
Long-range correlations in genomic base composition are a ubiquitous statistical feature among many eukaryotic genomes. In this article, these correlations are shown to substantia...
189
click to vote
JCC
2007
15 years 6 months ago
2007
Abstract: In this study, we applied artificial neural network, implementing the backpropagation algorithm, for the prediction of the excitation and emission maxima of green fluores...
191
click to vote
JCP
2007
15 years 6 months ago
2007
— In this paper we present a formal description of PROSA, a P2P resource management system heavily inspired by social networks. Social networks have been deeply studied in the la...